Package: ftp.debian.org Severity: normal X-Debbugs-Cc: [email protected] Control: affects -1 + src:prover9-manual User: [email protected] 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
