Format: 3.0 (quilt)
Source: prover9-manual
Binary: prover9-doc
Architecture: all
Version: 0.0.200902a-3
Maintainer: Debian QA Group <packages@qa.debian.org>
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Standards-Version: 3.9.4
Vcs-Browser: http://git.debian.org/?p=collab-maint/prover9-manual.git
Vcs-Git: git://git.debian.org/git/collab-maint/prover9-manual.git
Build-Depends: debhelper (>= 9)
Build-Depends-Indep: htmldoc
Package-List:
 prover9-doc deb doc optional arch=all
