This page shows all known information about package prover9-doc.
prover9-doc - documentation for Prover9 and associated programs
From source: prover9-manual
debian/control- Section
- Architecture
- Distribution