Format: 3.0 (quilt)
Source: p9m4
Binary: prover9-mace4
Architecture: all
Version: 0.5.dfsg-4
Maintainer: Debian QA Group <packages@qa.debian.org>
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Standards-Version: 3.9.6
Build-Depends: cdbs, debhelper (>= 9), python, dh-python
Package-List:
 prover9-mace4 deb math optional arch=all
