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

Format: 1.0
Source: proofgeneral
Version: 3.5-4.1
Binary: proofgeneral-misc, proofgeneral-coq, proofgeneral, proofgeneral-minlog, proofgeneral-doc
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: any
Standards-Version: 3.6.1.0
Build-Depends: debhelper (>= 4.1.16), mzscheme
Files: 
 92e642872381317c4edf72723ff96b2f 1775841 proofgeneral_3.5.orig.tar.gz
 e3a5a0bc1169725bca18f6066c154bab 20067 proofgeneral_3.5-4.1.diff.gz

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

iD8DBQFFiC551OXtrMAUPS0RAuL2AJ0fUMdndpbmQj7aBi+/0M1fOnQ7SACeMM+f
G6+prXSHp2InqqHPZgJCQTM=
=FlDM
-----END PGP SIGNATURE-----