This page shows all known information about package proofgeneral-doc.
proofgeneral-doc - generic frontend for proof assistants - documentation
From source: proofgeneral
debian/control- Section
- Architecture
- Distribution