Package: prover9-doc
Source: prover9-manual
Version: 0.0.200902a-2.1
Installed-Size: 3183
Maintainer: Debian QA Group <packages@qa.debian.org>
Architecture: all
Suggests: prover9, ladr4-apps, python
Description: documentation for Prover9 and associated programs
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Description-md5: 3666da0276f73cac13717eb7f17a3d20
Tag: made-of::html, made-of::pdf, role::documentation
Section: doc
Priority: optional
Filename: pool/main/p/prover9-manual/prover9-doc_0.0.200902a-2.1_all.deb
Size: 857296
MD5sum: c678f6a39585b576bd097cf5fb5b2d9a
SHA256: 0584e4d91ff62416638c5b1061587e19066200425ec9ea6b6ba67fce234aa682