-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.2~pre120605-2
Maintainer: Hendrik Tews <hendrik@askra.de>
Homepage: http://proofgeneral.inf.ed.ac.uk
Standards-Version: 3.9.3
Build-Depends: debhelper (>= 8), texinfo, texlive-latex-base, texlive-generic-recommended, texi2html, emacs23-nox | emacs23 | emacs23-lucid
Package-List: 
 proofgeneral deb editors optional
 proofgeneral-doc deb doc optional
Checksums-Sha1: 
 31fce41a4a67a40701a8e8c83d1de1df26501c66 1020306 proofgeneral_4.2~pre120605.orig.tar.gz
 1cfdca77f29e2520d66ded6d453a4c613d496830 19826 proofgeneral_4.2~pre120605-2.debian.tar.gz
Checksums-Sha256: 
 fa6f123aac7509370164c7a3217a332376c733138e28169852b4b4330c576fab 1020306 proofgeneral_4.2~pre120605.orig.tar.gz
 b79a0779352575a028f0304c16a3ea3cc9a1b2567b3c9f44b5f7331d229dce42 19826 proofgeneral_4.2~pre120605-2.debian.tar.gz
Files: 
 f103b1b6badf87188ab92ad47a507c44 1020306 proofgeneral_4.2~pre120605.orig.tar.gz
 832397e59bdde78ba9e6695f47e65f19 19826 proofgeneral_4.2~pre120605-2.debian.tar.gz

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

iQIcBAEBCgAGBQJQvx3jAAoJEHhT2k1JiBrTYxMP/ikVjBZESuXUSocGa68Ga1FA
2wTJc9/7EoE/rd86GC92svvz957TPFW4egHYHChjXjuHWw2B0xFe7SeDxzLqqeFp
ovkB2/wVAgpEzohIJGd4BMfoEfkIZSXau5JRiGoV0uQxQNOO0rrIKI7XI81PoV3z
1gzvThJArKPmnlPGcZvuEWzL5y+otr+6hQ70o3x03j+/FTD3s5Ct5EHLbLAMoEMs
TK9IJWKrqM8b5BwaY2nTDhlUuvZ3XTZElK1zDcPu60pzCV5NqzEH7vXXOkE9ndIb
kF8k8HyDWSyDCUOw41LHmUiSZgJMXL9zJMBMEAoWsZ82CISWRY1tcW5KXN2JSk/T
WXzUow/Rstw6zfhwU6zk9982ziSZvlNMes3MN6UYQCIKmkqf1uyJONd0JImYufjm
TjLTnWsRU7oFtggSMpvrrHyd8EUomKoLRBTwkgxvpr90HL4MJuH12FvWHIWAjbsP
O9yxLFdeS3TUPqDxrwVEjaxGee1NC6M8QXXg78U4oh1Lbf941ZrYMBSVz45IrOfL
RasUQOSj/44E53h/2ixtHP4dIOnvUEJ986bZoYe5ZNyvS1YPTWJtXF2YrPA8Ok0u
Hrer6yblVHt12d/LFOX99tVLpcH/8lu9qnHXeeZFZHnps5tLo0JQiM/Rp/px038Q
qkV37R+cp3/spaigy7cN
=L01U
-----END PGP SIGNATURE-----