-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.0
Source: p9m4
Binary: prover9-mace4
Architecture: all
Version: 0.5.dfsg-2.2
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 arch=all
Checksums-Sha1:
 bee1944105f4c0ded398444a4797d23657ca827b 88683 p9m4_0.5.dfsg.orig.tar.gz
 6466921ff717de7d38a5b73f6df4f07a3011b9a7 9106 p9m4_0.5.dfsg-2.2.diff.gz
Checksums-Sha256:
 c7394d338ffd4ed3e52d3af062dfe0c82777bf28016c3bfa91573de31e62900a 88683 p9m4_0.5.dfsg.orig.tar.gz
 932f375596b8f9868bf0db29f6f9bfac7321ec60444a782e1aea7fe0673dbb40 9106 p9m4_0.5.dfsg-2.2.diff.gz
Files:
 04afdf4e290e8a9100ac69893a561e53 88683 p9m4_0.5.dfsg.orig.tar.gz
 7b4c0813a8e99a010cdc7cf36ba839a3 9106 p9m4_0.5.dfsg-2.2.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJUAfTxAAoJEBgUewc7rSsHPW0QALfJj0bNxFxxYuogJ1PHb4Oh
kkt+JXkgEiFWAptCzb/YQm+6o6X4jepwkRF6bZZJpR3A/yApqLyF2kxEcz2X/Wnp
jUymYGfOd9gC7vRx+k4qfovno+8unTau50lskwBZP7klEIgSgzfC0Knewxvvrfkx
dZhgulgYHR17V3LqBTpxR7SFkh1HLSLsKPEAY79NGwQphLeRtStpw9nalIVO1mFr
Ppqka6TImyjo5Nf9ylolbP+F7BSVS3nBWkDzo7IxYh4JgH5I+n1ocaFldHU6ANSi
sEhi87qT+fEEDdtAyD6YEyHfgTEYYeSMs58979RR8bqqEf0F5hEJVCgri0kmvqpL
/dAa+G7NpVIkRyDF7vuJ2sRZaIn+7Jr0u53sofT9NC90793afV0NdDaRjMN0+HcO
LNwzUMrHMuGvJywPNyR1arVGTMqiu33JVqToOMmWjcGnD1tVyi3zb1+n905PHeIb
lqNkNXzi1wxusQtcAet2CgLwMDMwASwo8LeqAXzZbOLw3Ypxdt+0GTb5jAu2fupr
SW7XUX8TJRuWQLa/iLDpkd6UCiiSj0q2HLs+lsOFzZC6za91wZGYCq4oy1SEmdoN
JQNlsJjT1nr+Sa/OqDB0quNVaQnfCCahDd61H7I1ZYkpUBhwcxZ+FrYy0bpDfKpd
xUs/EwMeED3jLNd1Z+zl
=ImlA
-----END PGP SIGNATURE-----