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
Checksums-Sha1:
 bee1944105f4c0ded398444a4797d23657ca827b 88683 p9m4_0.5.dfsg.orig.tar.gz
 b20ace5aabc76ebe31fc9c30b1b3a32cf3c815ed 8904 p9m4_0.5.dfsg-4.debian.tar.xz
Checksums-Sha256:
 c7394d338ffd4ed3e52d3af062dfe0c82777bf28016c3bfa91573de31e62900a 88683 p9m4_0.5.dfsg.orig.tar.gz
 e87adfddfb76de4f7d7b02e6bc682bb8b97a381e373f420ca4c9b34edb7cd76c 8904 p9m4_0.5.dfsg-4.debian.tar.xz
Files:
 04afdf4e290e8a9100ac69893a561e53 88683 p9m4_0.5.dfsg.orig.tar.gz
 13e7277ad78e083f0e6a4155f947db5e 8904 p9m4_0.5.dfsg-4.debian.tar.xz