-----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-3build1
Maintainer: Stefan Schimanski <schimmi@debian.org>
Homepage: http://proofgeneral.inf.ed.ac.uk
Standards-Version: 3.7.3
Build-Depends: debhelper (>= 4.1.16), po-debconf
Checksums-Sha1: 
 06c17f8fe9a3541407fdc92c2c627b224e6829d5 1982146 proofgeneral_3.7.orig.tar.gz
 20bcf40cef1cb39882cb56589bd3dfbea4746e4e 21411 proofgeneral_3.7-3build1.diff.gz
Checksums-Sha256: 
 9415bf850723a021963dccd7c9c2e5079dd74f48aad50a88e5470f82656d9059 1982146 proofgeneral_3.7.orig.tar.gz
 e81664f4733679a63633e810b192d96720e8a3ad7a842ca365cb0f641302f818 21411 proofgeneral_3.7-3build1.diff.gz
Files: 
 c922c2d591812ce417b72c13259ef4ad 1982146 proofgeneral_3.7.orig.tar.gz
 1527a52d52f25c324d35e4a6cf800bce 21411 proofgeneral_3.7-3build1.diff.gz

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

iEYEARECAAYFAkiZtMEACgkQDecnbV4Fd/KfqwCgplkYW4zAX2PPvS/pavEPZTPq
VUcAn2YBiJ1iBvlBiEC8ca8w2JOjCzqf
=c+QN
-----END PGP SIGNATURE-----