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

Format: 1.0
Source: proofgeneral
Binary: proofgeneral, proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc, proofgeneral-doc
Architecture: all
Version: 3.7-4
Maintainer: Debian QA Group <packages@qa.debian.org>
Homepage: http://proofgeneral.inf.ed.ac.uk
Standards-Version: 3.7.3
Build-Depends: debhelper (>= 7), po-debconf
Checksums-Sha1: 
 06c17f8fe9a3541407fdc92c2c627b224e6829d5 1982146 proofgeneral_3.7.orig.tar.gz
 fb702e7009a309d111e60e51403c1d972b203f8e 24613 proofgeneral_3.7-4.diff.gz
Checksums-Sha256: 
 9415bf850723a021963dccd7c9c2e5079dd74f48aad50a88e5470f82656d9059 1982146 proofgeneral_3.7.orig.tar.gz
 02b389763914fca1ee2058ab9084512a1fa328ea3acacd656c36835df9d22943 24613 proofgeneral_3.7-4.diff.gz
Files: 
 c922c2d591812ce417b72c13259ef4ad 1982146 proofgeneral_3.7.orig.tar.gz
 0648fa3f0e88a89230a4ba91de44cbc3 24613 proofgeneral_3.7-4.diff.gz

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

iQIVAwUBTLNraYcvcCxNbiWoAQL3ZBAAxHxru4dbnyLFDcHx4HmelOtUQULqJz3s
fZrdZRoU/Q5+y3LLz3XTf5TXAR/tuA9/+LsDX63jywF6xILxznCg/YQdsfPr1YEs
rvpox+2CIiL1w7C59C6tTBX9wRIwSUqkDxa16LzYcSKR8Wl6E032Vc3cFL8Yatr6
KUhLPmvxMEnIcvUr85xmOELwUnIxEqQNideBbvQRLQGxE0bQxSc6GaucBP1oidkJ
wWExd08MhKwm3Y1Zzb3GrtgHfuGyL5d0yinIzJ3IK7QAv5Ht2lonzP1133x2PScu
/Ir/Z68gzOYf4Ps7VBZbOobapG1mWmqtG72V5FjjHK1mJrE3QHuU1Jy5xD/PJfz5
dRb+xJUruG4FumYy5hdXJM3M3K8Gy9rDC+ldVHf793f+vzMwdapD8utAzGMaeMz4
aJlqc3rbWguSDhi93OQiy/TUV3r6Ogmc7XEeU/qbkyPqqIHJdBa7+qg945+WvmIc
LCmvIVs8ViF96GpUsuLITGT29qfjKweg+zFtCljJYdZpeJjvwAQWcvA2dVeo2gg4
5b8woiyTo9afxUFDOtGX+tj+T/J1kydcraSFAoNubZ/RTtwY0d9VQdzIGEzDz3TO
ZKH3oiXTHuX2IZMAQn/wUuBc94cvjPxELrkhbciR6Jy3oBxDEXW0Ph0kFsAuvyGU
ZnHv7/Ntw6k=
=8TNm
-----END PGP SIGNATURE-----