[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#690328: All links in documentation's index.html are broken



Package: libssreflect-coq
Version: 1.4-1
Severity: normal

All of the links (well, the dozen or so I've tried to follow, excluding
the alphabetical ones at the very top) in
/usr/share/doc/libssreflect-coq/html/index.html are broken.

-- System Information:
Debian Release: wheezy/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.2.0-4-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_CA.UTF-8, LC_CTYPE=en_CA.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_CA.UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages libssreflect-coq depends on:
ii  coq [coq-8.4+3.12.1]  8.4dfsg-2
ii  libssreflect-ocaml    1.4-1

libssreflect-coq recommends no packages.

libssreflect-coq suggests no packages.

-- no debconf information

Attachment: signature.asc
Description: Digital signature


Reply to: