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

Format: 1.0
Source: p9m4
Binary: prover9-mace4
Architecture: all
Version: 0.5.dfsg-2
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)
Checksums-Sha1: 
 bee1944105f4c0ded398444a4797d23657ca827b 88683 p9m4_0.5.dfsg.orig.tar.gz
 cb6674f0cc3524f1c5a84f787f76f889553e4096 8675 p9m4_0.5.dfsg-2.diff.gz
Checksums-Sha256: 
 c7394d338ffd4ed3e52d3af062dfe0c82777bf28016c3bfa91573de31e62900a 88683 p9m4_0.5.dfsg.orig.tar.gz
 a0bfa3bb7de3a5e17c34379cd3ba1987b14218eec2fa0fc45c9f4be68b6467e9 8675 p9m4_0.5.dfsg-2.diff.gz
Files: 
 04afdf4e290e8a9100ac69893a561e53 88683 p9m4_0.5.dfsg.orig.tar.gz
 d118d27a7bad4866399cea99e7a4c494 8675 p9m4_0.5.dfsg-2.diff.gz

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

iEYEARECAAYFAkn96hMACgkQBnqtBMk7/3lsAwCdG6uCECt3/SEu1lAhQoFAO7WA
WfEAn0mXEqS5cfFxW7/vBFRXHIxeqY8c
=TwSu
-----END PGP SIGNATURE-----