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

Format: 3.0 (quilt)
Source: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Architecture: all
Version: 4.2~pre120605-1
Maintainer: Hendrik Tews <hendrik@askra.de>
Homepage: http://proofgeneral.inf.ed.ac.uk
Standards-Version: 3.9.3
Build-Depends: debhelper (>= 8), texinfo, texlive-latex-base, texlive-generic-recommended, texi2html, emacs23-nox | emacs23 | emacs23-lucid
Package-List: 
 proofgeneral deb editors optional
 proofgeneral-doc deb doc optional
Checksums-Sha1: 
 31fce41a4a67a40701a8e8c83d1de1df26501c66 1020306 proofgeneral_4.2~pre120605.orig.tar.gz
 4d26bd3872e3a17beb9a961edb8802156d5f783a 19936 proofgeneral_4.2~pre120605-1.debian.tar.gz
Checksums-Sha256: 
 fa6f123aac7509370164c7a3217a332376c733138e28169852b4b4330c576fab 1020306 proofgeneral_4.2~pre120605.orig.tar.gz
 c7526d768e5cb85094849fd1bec047643fdb17c1d798ce71bda96806c505a979 19936 proofgeneral_4.2~pre120605-1.debian.tar.gz
Files: 
 f103b1b6badf87188ab92ad47a507c44 1020306 proofgeneral_4.2~pre120605.orig.tar.gz
 1a73aafe338d739f6ed9fa072367fe5b 19936 proofgeneral_4.2~pre120605-1.debian.tar.gz

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

iQIcBAEBCgAGBQJP02ODAAoJEHhT2k1JiBrTBVYQAII6OUDOmq8WOOQViIMlXTfO
YUaK9QEVYDJKM8qy+eZ2wBlgovpqd88SXweQzZKmmn524MrSGjPr//NH52CN05il
brYlrM7/Qr7nMa5/joEAxijucrCEfHhjV3sr2123UiD709GFp4SHUwcrSQhyKTS8
V3p3AH+BwpOMS56xU9tDtPsTjdCezGYBNJhjTfOHRBi7spBWjxHfvA15XXUDyLdu
gElDNfajgQFzog79tNVyDlCnnFIY66kz9T92pn6Us7YhOE+1Dw3NYXvmAxHyqgpo
EmeI3BoJhoUU9dQqWeO2HZ6qczJlvU1FebZcVpv52Sfjq1UDql3OuutzwHrqtyYT
oI55VRVP58tYRn5L25rfR7TObpt85/6wCsCajMgma9XZmyF8QMZsmbcwZFbl6AUY
/g1RuBx5E3NkeoelvPGLqzxvtBTm2BTySbm+3/jOjdOXCP21mCmtjjrEFHEB5sl3
9XFtdOAzAfXopJus6/AeKhxLWl7Hiwmt7Je0P6yfdJqsjXROBNXBXjK7oRZOBOIx
Y6qwIMJPALxcWRuZqm5AXi1MPh7xwh4Jdgb0rsXSqelG8biYCbiNpZS40ebs5nmP
6WznlJQQm5QudiIknzgYN0iJ63ZeOy6JZI6xGbGUzMtcUd1JbSwylAy1ykdk/Snt
M8JCQEXv2EE+Dst2PygL
=38UM
-----END PGP SIGNATURE-----