Source Package: p9m4 (0.5.dfsg-2.1)
Links for p9m4
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Peter Collingbourne
- Python Applications Packaging Team
It should generally not be necessary for users to contact the original maintainer.
The following binary packages are built from this source package:
- GUI for Prover9 and Mace4
Other Packages Related to p9m4
- common build system for Debian packages
- helper programs for debian/rules
- interactive high-level object-oriented language (default version)
- automated rebuilding support for Python modules