-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.0
Source: p9m4
Binary: prover9-mace4
Architecture: all
Version: 0.5.dfsg-2.1
Maintainer: Peter Collingbourne <peter@pcc.me.uk>
Uploaders: Python Applications Packaging Team <python-apps-team@lists.alioth.debian.org>
Dm-Upload-Allowed: yes
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
 2f08f5e7c53a19d5f883b95a19b8fe04392c05c4 8870 p9m4_0.5.dfsg-2.1.diff.gz
Checksums-Sha256: 
 c7394d338ffd4ed3e52d3af062dfe0c82777bf28016c3bfa91573de31e62900a 88683 p9m4_0.5.dfsg.orig.tar.gz
 74690b008f71c00e0190f3df15bf55281e61e8e798a550551cea81326354a60f 8870 p9m4_0.5.dfsg-2.1.diff.gz
Files: 
 04afdf4e290e8a9100ac69893a561e53 88683 p9m4_0.5.dfsg.orig.tar.gz
 93f1f44f7657ca515a01d54b9826e6dc 8870 p9m4_0.5.dfsg-2.1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQIcBAEBCAAGBQJOzcfkAAoJEBgUewc7rSsH8c0P/iibTZocWK5EFhU7qbqK60kf
TynyLSpCHR3SV1CsS6d7mi/WHF9s6hwHpX8ywwMT6JX/rvjFe4bsXSruJ8APsd0o
FmbfFyM5JebX1nF9iUa9mdXuqzkTTilsW00eMbM3/NUVkHm+3WuGD5B4Ydgpcivr
JWW2UtnO4Tb+dcKJdDrjQXgzMdYAO8h7Ugk1dai27D+6S1vBti9O1Ov1DH89pVon
3sp3qXKp/Pc0pn87xdnnbcuq3YSzTP0GwCFxOgYvmzytOQwg8RCq4ZSXhlrFoCtr
9ag1/sTVJDAXB6S6UGOMBc2TR9Ymv1v24L9hi2EY0Sa3UZNRCghPziIuLfCAwlyx
zjQp8xYiR79gywrnsQ6epEgp32xaARmOVyyaxY3h0pylLQm0nmocKUYxsO8RIlVi
mLJXo3CB7Q7ZnL8qQyV+HbKrDfWJeRrM/fHBh5LroCzKxxm4RM5HHFjg9LT1azlg
OQB+8ach+ZIuguks2aa2yMGUxjj40AiW3F/8m4kL+KOHIszS+mKhPLo8ue1ybNz6
z0kgg8WJBf8gYveB/h9uRgvEjQta7HyBz2oQ3wvgGen2FC7Twny+xSoqUS35DJ+j
kZj9XzpCf631C3xJWN5aGxzObvap6NTuztZZ1Ijqi10Z8LMVhA2XJ+esFJqU0G6F
hiiXJc4hhmwfRIYcMqnf
=7pan
-----END PGP SIGNATURE-----