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

Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.3~pre130510-1.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
 proofgeneral-doc deb doc optional
Checksums-Sha1: 
 46c85141e1e501de0712f7910e028dd7f495e067 1047655 proofgeneral_4.3~pre130510.orig.tar.gz
 b8ed0a2cc0d9765301253cbd51b7eef6aa4e05ba 19108 proofgeneral_4.3~pre130510-1.1.debian.tar.xz
Checksums-Sha256: 
 0fbc85ddb60780f01b24856ac7d9fe9af58ace52105ac7b1f48f529cd55c250e 1047655 proofgeneral_4.3~pre130510.orig.tar.gz
 a111996fea125027cb347af14cc5ba609c5d754c5c37e671b96634df70045f6b 19108 proofgeneral_4.3~pre130510-1.1.debian.tar.xz
Files: 
 6a48f2df2ae7ec4563d10f8423f50188 1047655 proofgeneral_4.3~pre130510.orig.tar.gz
 b6ff14e5269671e0028d95fb73c82011 19108 proofgeneral_4.3~pre130510-1.1.debian.tar.xz

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

iQIcBAEBCgAGBQJTAGs8AAoJEF0yjQgqqrFA80AQAIto6sQWMake7hdnQOVXtmgg
24kCQ5cWQp4FyxwL2jqb5KpwVG2Pn1yn9U7amOZrIXuOl0l0mV/TsL2NhyPiVFZI
8Xk3nkeTN/+ilX6+a/oehaqpUAQbxt4RC0vNciPZ1nxSzOKOZuVcf/K8fKnCiPDr
k7ncje2CdGr3KM0CA33kgivhD45THkyp9kiio7dxz9/Ly+nySUuanKxi4eEn/NAZ
1m1+yYUL6Lg2Vgu+VsppsoiaY23LSu0gNMNrwFE7C5VkyezaOkvsbbMBkl44xyr8
OakJmQdZtPAAnafuju7ywikicTtdiit4Eva1lMsrRJpg7k06ZuLv4EtUaZAs/X2Z
ucYJW0q5CPhzCfKges8zOLRcSmbdfCorw0h8oL+1w8pVMP9GqPdfb5sLAzOrUdDz
m/Chc+asyKBbWqMPX2UDFXulYFUii/3JJyFmdLc4uAGGkfHPyuCyU7SWAUP6SOMU
2l0Lk59Z3PvVS1dzFUAJXNohVpLwMMLTfomlFlmBB/j5Hb3gSwq+EqrMCFZGi787
rEPCBaWyXkCdNk6NdXKO4U3sbYBAy7SS+ydPWLofBp+YoAGwRV/5s+o0gipPYI9M
eZ/1yaGgpgzpYD/sBFSau5uJzhIvGw+zPq4YvteU5aF6+iNUhWxVQqw9OkaDyxpk
vERkfeM9jJ89XOMe8dOf
=yaVI
-----END PGP SIGNATURE-----