-----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 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-----