Back to proofgeneral PTS page

Accepted proofgeneral 4.3~pre130510-1 (source all)



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