Package: cryptominisat
Version: 5.11.4+dfsg1-2
Severity: normal
User: [email protected]
Usertags: piuparts

Hi,

during a test with piuparts I noticed your package ships (or creates)
a broken symlink:

0m18.0s ERROR: FAIL: Broken symlinks:
  /usr/share/man/man1/cryptominisat_simple.1.gz -> cryptominisat5_simple.1.gz 
(cryptominisat)

The cryptominisat5_simple.1.gz manpage seems to be no longer shipped.


cheers,

Andreas

-- 
debian-science-maintainers mailing list
[email protected]
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers

Reply via email to