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

Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.3~pre131011-0.2
Maintainer: Hendrik Tews <hendrik@askra.de>
Homepage: http://proofgeneral.inf.ed.ac.uk
Standards-Version: 3.9.4
Build-Depends: debhelper (>= 9), texinfo, texlive-latex-recommended, texlive-generic-recommended, texlive-fonts-recommended, emacs24-nox | emacs24 | emacs24-lucid
Package-List:
 proofgeneral deb editors optional arch=all
 proofgeneral-doc deb doc optional arch=all
Checksums-Sha1:
 0a297cecc267b5e8a52168aa09f1c82a2adb68f9 11592524 proofgeneral_4.3~pre131011.orig.tar.xz
 24827e3c4bbaec6164ea943372f078b399c5ce98 19412 proofgeneral_4.3~pre131011-0.2.debian.tar.xz
Checksums-Sha256:
 def0e120d99b4409fc95e6fa75afdf22475ebc65934ea89e0902819353748897 11592524 proofgeneral_4.3~pre131011.orig.tar.xz
 80a6c72d5966c261065e9732aa2b649284ccc71ffd26ae01cab4d5991196f2ba 19412 proofgeneral_4.3~pre131011-0.2.debian.tar.xz
Files:
 0edc02ed2ce1a0dbd002b0150f42c7fc 11592524 proofgeneral_4.3~pre131011.orig.tar.xz
 29de48e6198c2199b9ec0add421be13c 19412 proofgeneral_4.3~pre131011-0.2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIcBAEBCgAGBQJUaNXgAAoJELrOFdKldJj/7S8QAJUZsP7t2LuOPiVY3Z+fOAym
rbeC31li9mP2ffBsB+ZWG8n57PDnD1Qm4tlc+LEaZ10MT5tnyD4NezcXQgKYBmwp
qX1pR//lyugdfZriSb2tK3CafFLS0LvYSOeByvIUsKnGOn/g4i8SlBaITT9TLDL9
j2I/hGadJyELaS+8rlhFMBm+Dc9zK7eVeiXTd6k3OOtn7Pf01mn+DeEi7ocf2pTc
PAGv4mAL7WbjhbedBw5WCPsvbcULktpxGaU2FzBBexX4c8LEuQlAnCZq7Ith46qL
i3ZFYU9Cm8iPPWFziQSuuZx82U7+697YK4FKrxjKGOXa2W9B0sj/Se50p4u4eN7T
DL14QNE8Au0zsRoTsF+Kt1dGcmK6OuuU5s3sPORT7I7h2rCSledikIryjSSnSwOW
YDTCWkV3T192vRSV7HlcKvNn3PGpIy+G9nsdrhfYIiaVduGfgaGRQYlrkTgnvP5N
7jZyEExY+GCYezIQbaTyxc1KybwvxJPC7CJPXvSKMwI4GJwaIsfng9Mabp40ylea
PIvN3mE540CT1gdwvc5GRiZCA9v88nwXptG1QyQpg6znlih1ShjHkekiEz2gcJO+
bQn/TCgWt+gH3ynHOgynrhrFI5odFEM7lZiIqX3dR/P34mKSOD/ZTxHib6Kgnlb3
u8VHc76JljfNTTInDrSY
=bO5N
-----END PGP SIGNATURE-----