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

Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.3~pre131011-0.1
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, emacs23-nox | emacs23 | emacs23-lucid | 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
 3974df683a751679d29bd6961fe6f18e442f0a36 19320 proofgeneral_4.3~pre131011-0.1.debian.tar.xz
Checksums-Sha256:
 def0e120d99b4409fc95e6fa75afdf22475ebc65934ea89e0902819353748897 11592524 proofgeneral_4.3~pre131011.orig.tar.xz
 48c82bd6be9023fbfe04f6b1cdf82ba782b2bca45b1402a7a8941b07ee026a6f 19320 proofgeneral_4.3~pre131011-0.1.debian.tar.xz
Files:
 0edc02ed2ce1a0dbd002b0150f42c7fc 11592524 proofgeneral_4.3~pre131011.orig.tar.xz
 de0a500b01d1cdae4fd51c89ff0a6ed6 19320 proofgeneral_4.3~pre131011-0.1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJT6hXsAAoJEF0yjQgqqrFAgNMQAKBg6NrI8O3HIw5I8QRcCxzy
KGWEGSrtCFoo/VoRVDs5fCDtR3jxM1AeTQ80U0Ij5sc3Hpxkyb5HBg0+MKPLXsyB
lKqUTuP6dy8r7OhDe1ALgI4DiS42Ifav+msx3/inz+RoaUHAE0yOCfEVP67RBdQb
0tfK5JzMWLXIdd6z2yVxhI7HZMbLD9uALH5NfBwxizMpxTiIskzXrtG6oItHhzGy
msl98Kx5gtduJ493VDlnVtfzDsPMmGIdjwB5U/P+DcNljFtnoftMKNpBmxoXiIVd
SlIojBx/rLic8AGu2dreWHbKoV2L0vrh/ns9yre3HcbGrorCiSsIU0wfnVCcxr6v
B2wlh5b7tWCrEUa7kBydtiKoRZfrr3E7DkwhbewaGUdNTC2zPyvD7golAYnf/nLY
C8zWjNWW2D4v+GxxTgVPZIlOzCBalj/fHwfDaJVUdgM/BJy28xgSXGivHPaVCzHX
GS2MKv3NHJIVEegRz6ujTnfy6BMwsjb6tgGAWxI9CiFsxHTynFEyGR2PuDR1i8kb
RGu6NnUI5YWYJJX6/IqLq2yaA8wWGFjZohoz/4HbpgqE7EmNtJZAZLoKmZniDer0
05kYJb0avj0PzKoI14tWlXVpfQzwVbem1U0cGcNBhOT07Yh+PK8t8IDu8YNbxkQK
S44yWTbBILbbxZqeIXmc
=wcpI
-----END PGP SIGNATURE-----