Package: ftp.debian.org Severity: normal X-Debbugs-Cc: prover9-man...@packages.debian.org Control: affects -1 + src:prover9-manual User: ftp.debian....@packages.debian.org Usertags: remove
Dear FTP-Masters, This is the loose manual for Python2-only 'ladr' & 'p9m4' which were removed in 2019. Greetings https://tracker.debian.org/pkg/ladr https://tracker.debian.org/pkg/p9m4
