-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 15 May 2013 17:11:19 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.3~pre130510-1 Distribution: unstable Urgency: low Maintainer: Hendrik Tews <hendrik@askra.de> Changed-By: Hendrik Tews <hendrik@askra.de> Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Closes: 687977 707331 Changes: proofgeneral (4.3~pre130510-1) unstable; urgency=low . * New upstream release (Closes: #707331) * improve watch file (thanks to Bart Martens for the uversionmangle hint) * add new patch to install coq example and add hint in tutorial (Closes: #687977) * add new patch fix-texinfo-5-1-bug to fix a problem with texinfo 5.1 * add new patch pg-image-bug to rename ProofGeneral.jpg * permit emacs24 * update README.Debian * bump standards version to 3.9.4 * debhelper compat level 9 Checksums-Sha1: 828128b07e2db3a7b4a7dde785c6a86e74414e16 2009 proofgeneral_4.3~pre130510-1.dsc 46c85141e1e501de0712f7910e028dd7f495e067 1047655 proofgeneral_4.3~pre130510.orig.tar.gz 3010c1db352b1033c4541b4e8b4978164f4dd89c 20746 proofgeneral_4.3~pre130510-1.debian.tar.gz e5cfe52e22c39708a51f3031a261fec8b2953c95 464710 proofgeneral_4.3~pre130510-1_all.deb 6a47fc7860e9108d640ade3c385feeae73f3e9a4 686532 proofgeneral-doc_4.3~pre130510-1_all.deb Checksums-Sha256: 1937f5d1d3870fa86c5aa295e0dab6a6362a0295ed3d0015a6b7fead547c44bb 2009 proofgeneral_4.3~pre130510-1.dsc 0fbc85ddb60780f01b24856ac7d9fe9af58ace52105ac7b1f48f529cd55c250e 1047655 proofgeneral_4.3~pre130510.orig.tar.gz 9d5a7cc4407a95e7b7eac3506872a0528bbbba97ab18f18d867b484784fec8db 20746 proofgeneral_4.3~pre130510-1.debian.tar.gz e19f3b4e51438c34668d8ecbe5bb2f634cb310ef3a6c6767d6b426c674a637d7 464710 proofgeneral_4.3~pre130510-1_all.deb d7447a6bf2220e6837959da40013fff3d7f2b2eaa2aa7f2ec087a6f5dbe9a787 686532 proofgeneral-doc_4.3~pre130510-1_all.deb Files: 4bb320f1b0d522de64b885a00986dc03 2009 editors optional proofgeneral_4.3~pre130510-1.dsc 6a48f2df2ae7ec4563d10f8423f50188 1047655 editors optional proofgeneral_4.3~pre130510.orig.tar.gz 4574519ec483413f3da774e4cf4dac29 20746 editors optional proofgeneral_4.3~pre130510-1.debian.tar.gz ccb6c69e214231c1b7012c3a469d2f5c 464710 editors optional proofgeneral_4.3~pre130510-1_all.deb aa0a69b1e72983c90277a33b4aaa9654 686532 doc optional proofgeneral-doc_4.3~pre130510-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRlzqOAAoJEHhT2k1JiBrTWGIP/R8dKE//FQ7yycDLgCCR8C6I L6ihY19eIReRk/fAmTBHANLRae+xmcRS3nskxUk5jbVG7osh+WVAbxgu1IiFJb6L 5YSfVAKPCHK3t7JGIkTZgoBdS0Ea+nzdW0uj0z6k30Y7GcE3y2a8E7lln7+38LwQ NJJfM7IWTK5nxX0+EAITNbyYQytA1aQtACsewQfNFLOKBBhObtf7rJveFWolCBdV t+nIj2AlwrOedd44ZCz2Ju/gqIMb6LI02ZM2HA9ktr+/odJO5YNYyaZ6KacOYnig /iW3mjRfv12OV1blKBbtoQgDcpHcMeGvNie+EVchaAG92XZOPJX/QeRNM4dOlT46 e/2IYnqvY3k+mhz6Rec4XEw9b+bYzhFPPe/rY2qvs3jR0RIkz1kiLzyIx2VfxPfE F5Bm4dNfcWdV5+TtO7ZBSYBYHNg3xtrhJbzcKCQvPgb+6UaWDq/3iZzJi0USK6+N OuKcLknr6Nc5DacWIqf1YdZPMfjtubicbx+HBWQ06elSJcV6kgM8VRZjJ3lkyfiw QfPawsaxKHrzLNJjhpdf5mv2Kl9REL6XU58Zy7fw0raQMb7Sl7NBOmwGv7hGTv8b jRkkuEK4pYvrbloW0kP09+B8oyP2fKJZKct5VkLYpUPJh3l0mHVykTfNXnJv2JFV K+6pIM1aiacH5eI6QQB8 =423Y -----END PGP SIGNATURE-----
