-----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-3.1
Maintainer: Stefan Schimanski <schimmi@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
 a54ef1f2cab4359c51750b6693909c06ada52d69 23726 proofgeneral_3.7-3.1.diff.gz
Checksums-Sha256: 
 9415bf850723a021963dccd7c9c2e5079dd74f48aad50a88e5470f82656d9059 1982146 proofgeneral_3.7.orig.tar.gz
 82bbaa1bc48c9b982b36256d746d9fd470c472d2ef58694384d8a39230ff8b7f 23726 proofgeneral_3.7-3.1.diff.gz
Files: 
 c922c2d591812ce417b72c13259ef4ad 1982146 proofgeneral_3.7.orig.tar.gz
 99f4faa905d6b4abc2cf0bcf056a0410 23726 proofgeneral_3.7-3.1.diff.gz

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

iD8DBQFKtRhM1OXtrMAUPS0RAsA4AJ9dmqrKIlfYVMPCCJviWTkPkPHNrwCcDq8Y
HGho4+j2j06pjdRoMV+PJBE=
=yBNt
-----END PGP SIGNATURE-----