Bug#1040548: cryptominisat: broken symlink: /usr/share/man/man1/cryptominisat_simple.1.gz -> cryptominisat5_simple.1.gz

[Andreas Beckmann]

Package: cryptominisat
Version: 5.11.4+dfsg1-2
Severity: normal
User: debian-qa at 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