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

Format: 1.0
Source: proofgeneral
Binary: proofgeneral-misc, proofgeneral-coq, proofgeneral, proofgeneral-minlog, proofgeneral-doc
Architecture: all
Version: 3.5-6
Maintainer: Stefan Schimanski <schimmi@debian.org>
Standards-Version: 3.7.2
Build-Depends: debhelper (>= 4.1.16), po-debconf
Files: 
 92e642872381317c4edf72723ff96b2f 1775841 proofgeneral_3.5.orig.tar.gz
 cfba65de56680deacf1c8850a9adb4ff 17558 proofgeneral_3.5-6.diff.gz

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

iD8DBQFHG3SKHUDhE+YrLEURAvNoAJwNPYztKsiID8KmXxBZevW/4uOU+wCfYmGK
ZPne8HUlEDE1G97gBOqaW5k=
=iRw9
-----END PGP SIGNATURE-----