-----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
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
Files: 
 c922c2d591812ce417b72c13259ef4ad 1982146 proofgeneral_3.7.orig.tar.gz
 c9c3293fccf5f650cf0d0b32966a7811 21422 proofgeneral_3.7-3.diff.gz

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

iD8DBQFH81hjHUDhE+YrLEURAhjUAKCBXRVX5XR+/RJga3VH+NUsfM6GkACffXvk
/fZZK5WweUctiKJvGDpnPPY=
=R2AU
-----END PGP SIGNATURE-----