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

Format: 1.0
Source: proofgeneral
Version: 3.4-14
Binary: proofgeneral, proofgeneral-misc, proofgeneral-doc, proofgeneral-coq
Maintainer: Stefan Schimanski <schimmi@kde.org>
Architecture: all
Standards-Version: 3.5.8
Build-Depends-Indep: debhelper (>= 4.1.16)
Files: 
 5be0f5abbc116f5eaac809c4324468cf 758922 proofgeneral_3.4.orig.tar.gz
 08dd5db3b1f8ad545a0d03515f4c229c 7571 proofgeneral_3.4-14.diff.gz

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

iD8DBQE/UI7PHUDhE+YrLEURAq+CAKDT7Dze13I+rRV/iTWrJ+tlbpXi9gCgvgWW
8A2h4vBHBVMxnNMqJ1+tp/s=
=S2Aw
-----END PGP SIGNATURE-----