Format: 1.0
Source: p9m4
Binary: prover9-mace4
Architecture: all
Version: 0.5.dfsg-2.5.201411020204
Maintainer: Peter Collingbourne <peter@pcc.me.uk>
Uploaders: Python Applications Packaging Team <python-apps-team@lists.alioth.debian.org>
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Standards-Version: 3.8.1
Vcs-Browser: http://svn.debian.org/viewsvn/python-apps/packages/p9m4/trunk/
Vcs-Svn: svn://svn.debian.org/python-apps/packages/p9m4/trunk/
Build-Depends: cdbs, debhelper (>= 5.0.42), python (>= 2.3.5-11)
Build-Depends-Indep: python-support (>= 0.5.3)
Package-List: 
 prover9-mace4 deb math optional
Checksums-Sha1: 
 bee1944105f4c0ded398444a4797d23657ca827b 88683 p9m4_0.5.dfsg.orig.tar.gz
 35641192f2547f62aea4d5317fd0981d5b35efe5 9045 p9m4_0.5.dfsg-2.5.201411020204.diff.gz
Checksums-Sha256: 
 c7394d338ffd4ed3e52d3af062dfe0c82777bf28016c3bfa91573de31e62900a 88683 p9m4_0.5.dfsg.orig.tar.gz
 84f611f2246f35d160b2f598c2d60d8d1f8ff8de44c5244b23559b9ac2d001d1 9045 p9m4_0.5.dfsg-2.5.201411020204.diff.gz
Files: 
 04afdf4e290e8a9100ac69893a561e53 88683 p9m4_0.5.dfsg.orig.tar.gz
 ca33adcceb3a71b1156a90ae0d41d7c3 9045 p9m4_0.5.dfsg-2.5.201411020204.diff.gz