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