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

Format: 1.0
Source: p9m4
Binary: prover9-mace4
Architecture: all
Version: 0.5.dfsg-1
Maintainer: Peter Collingbourne <pcc03@doc.ic.ac.uk>
Uploaders: Python Applications Packaging Team <python-apps-team@lists.alioth.debian.org>
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Standards-Version: 3.7.3
Vcs-Browser: http://svn.debian.org/wsvn/python-apps/packages/p9m4/?op=log
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)
Files: 
 04afdf4e290e8a9100ac69893a561e53 88683 p9m4_0.5.dfsg.orig.tar.gz
 a1353ce9a2dc80f5431167118b16faa1 3297 p9m4_0.5.dfsg-1.diff.gz

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

iD8DBQFHyHOtBnqtBMk7/3kRAi93AJ9Kwl3cv/7x1JrBwPgV0ULAyTuLWACeL5IX
8kOsYAK7IfnKc2qE/OzwCd0=
=Tz4Z
-----END PGP SIGNATURE-----