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

Format: 1.0
Source: proofgeneral
Version: 3.5-3
Binary: proofgeneral, proofgeneral-doc, proofgeneral-coq, proofgeneral-misc
Maintainer: Stefan Schimanski <schimmi@debian.org>
Architecture: all
Standards-Version: 3.6.1.0
Build-Depends-Indep: debhelper (>= 4.1.16)
Files: 
 92e642872381317c4edf72723ff96b2f 1775841 proofgeneral_3.5.orig.tar.gz
 e40417d1ff49db4ee41494e79ccc1c62 8207 proofgeneral_3.5-3.diff.gz

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

iD8DBQFBJfEyHUDhE+YrLEURApkiAJ4+69I2weM5dhv8KGjhKBbLbSOGkgCfVUb/
mUk8kDNMvLkZYj3OM/B/JKM=
=LFB1
-----END PGP SIGNATURE-----