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

Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.3~pre130510-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, texi2html, 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
 3010c1db352b1033c4541b4e8b4978164f4dd89c 20746 proofgeneral_4.3~pre130510-1.debian.tar.gz
Checksums-Sha256: 
 0fbc85ddb60780f01b24856ac7d9fe9af58ace52105ac7b1f48f529cd55c250e 1047655 proofgeneral_4.3~pre130510.orig.tar.gz
 9d5a7cc4407a95e7b7eac3506872a0528bbbba97ab18f18d867b484784fec8db 20746 proofgeneral_4.3~pre130510-1.debian.tar.gz
Files: 
 6a48f2df2ae7ec4563d10f8423f50188 1047655 proofgeneral_4.3~pre130510.orig.tar.gz
 4574519ec483413f3da774e4cf4dac29 20746 proofgeneral_4.3~pre130510-1.debian.tar.gz

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

iQIcBAEBCgAGBQJRlzqNAAoJEHhT2k1JiBrTmgcP/34ltyjlyd4fu774beJyAQfi
/P2bahOuvwZMffTGqvVf2ebwhRHKAx/Qf2He1hbtJSFyolb8lSuueNFg95T0RL3i
ywvBxZLwN0SR5vkeRAyyXIazKt/XJJOtI6PbCl+lmlGfai5vvOK13g8oe5e5Z72L
Rm9DJjKBxX3sL8RIB3ax23AMavi/hT+tcSPW1y8ItykJBOMx/XpG+VHXFG6msIe/
En/mn+wYdOxmnhN+ccqvNBXoobk/Lje5+ruH8uU5raUEDbKy/wt+x4IBqTwOEVwx
JQvjySlfQHRkgSbbUHEOdDJgOHUzXlKEN/F1SSDDqZMlEDt0G5gn+IERoGMNmoHh
qnw3IOZnHQemlMVC5kySArcum6QXgQ4WCjdNR2QJmoIg4dl62riwoo9lqj/YuY39
aCxB+IVV81quz2ssLu/A5z0v3UGxJkH6wLROPc97lGdRVG32GOEU+ClVLzNAwBU1
IADX5wdKdkbcWg0j92dMSXANqqRsw3dsdBxWlFhYsre2oFuMcyVke6UimFyekiEd
uMX6+Y9qJCjGpqo9ywtWhY8uQTAHZtCgybrgbdP5OJsQ0A2rB6Q0DW5bY5A9tH4m
ri0TJh1X60OLPy/XIOTj+qiYkaezJlyz4FYDQw1Do36U9I55p+wnk0jmz3szVho1
OhfQCd3r4FiSYISAKLeU
=6Kmm
-----END PGP SIGNATURE-----