Control: tags -1 + moreinfo
Le 12/10/2012 19:44, Ryan Kavanagh a écrit :
> 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.
Is that still true? I just tried with 1.5~rc
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 u
2 matches
Mail list logo