Source Package: prover9-manual (0.0.200902a-1)
Links for prover9-manual
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
It should generally not be necessary for users to contact the original maintainer.
The following binary packages are built from this source package:
- documentation for Prover9 and associated programs
Other Packages Related to prover9-manual
- helper programs for debian/rules
- patch maintenance system for Debian source packages
- HTML processor that generates indexed HTML, PS, and PDF