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

Format: 3.0 (quilt)
Source: p9m4
Binary: prover9-mace4
Architecture: all
Version: 0.5.dfsg-3
Maintainer: Debian QA Group <packages@qa.debian.org>
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Standards-Version: 3.9.6
Build-Depends: cdbs, debhelper (>= 9), python, dh-python
Package-List:
 prover9-mace4 deb math optional arch=all
Checksums-Sha1:
 bee1944105f4c0ded398444a4797d23657ca827b 88683 p9m4_0.5.dfsg.orig.tar.gz
 950ddc7eb07310e50d7c23b00cad3db4b2857714 8792 p9m4_0.5.dfsg-3.debian.tar.xz
Checksums-Sha256:
 c7394d338ffd4ed3e52d3af062dfe0c82777bf28016c3bfa91573de31e62900a 88683 p9m4_0.5.dfsg.orig.tar.gz
 960ffc3c8c0196f1149f402ba0de016e50fdf70aeb74d5a0ee72409a7052139b 8792 p9m4_0.5.dfsg-3.debian.tar.xz
Files:
 04afdf4e290e8a9100ac69893a561e53 88683 p9m4_0.5.dfsg.orig.tar.gz
 a36c50463727eb5eea0af31579a99947 8792 p9m4_0.5.dfsg-3.debian.tar.xz

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

iQIcBAEBCAAGBQJWbuT3AAoJEEsEP825REVAvGYQAMZHOsysuxlTxIpx1KIybmrx
8HWG9E2pxPmAYSZjxF9GEug2s1JT078Cr5R2czWBzlgybMnang1K7skLMDar8Kfd
9PwDoyCvyTa2C/dqzfrHE3t1IeEguXI2zqG7Z0BphJdy20rlyjZ90K1ZOJ57zC+r
vCdvUlpsCgFkOU0erTsbQ+xw2/kxYTI+sLoBrY84YkVEe9KQqU5ozJAaxgY9tW2q
e2i3o6J3i3oMgcTnxf7x20U5x5dJVAU66ONDZfzDjSvEpjYxc5/9yG4CTzGcKa7n
gblZ9V5UngOBVwovPe0uxLteh0VmprO6QWlnC14RAi7Q8FDHVtrbaIOxF3WxyJ6G
d/iZZ5YHOPBxdPu+okLw287aoKuqyvO1tMELdzoC83dpZR8zl267LRdOF2W7E9KD
W8AeNmjF7RZZtjL0xEBxaYLRcGPjSxaKIq6+8da9sCVf/vtkEF2jKrnf48r9xi43
hbdAv4xHK5+ZZvWNGkxq3MAXCRrImwN9qFgLzXbsyMG8ilAM+PXrzKpBWGOaJ4WY
/EnCoXXrKtzimkmEQbXyktKwMqIILMR82ltwdjXeZzY88vMvpWRaNz4UxoAyoFJe
co4rXh2EJ54IlS6fLBLJ6W02L6y60c/+UEtD+kkBlc4d/IDnYydh791m+nNHoyl9
A/ZdykulSP7tLzkP9b5D
=L9v9
-----END PGP SIGNATURE-----