Package: cryptominisat
Version: 5.11.4+dfsg1-2
Severity: normal
User: debian...@lists.debian.org
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

Reply via email to