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