-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 06 Jun 2012 23:12:58 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120605-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: 669318 671583 Changes: proofgeneral (4.2~pre120605-1) unstable; urgency=low . * New upstream release (Closes: #669318) * fix byte-compile-error-on-warn in emacsen-install, --no-site-file has been dropped already in 4.2~pre120411-2 (Closes: #671583) * use debian-emacs-flavor in emacsen-startup (see #662163) * delete patch disable-proof-tree, add patch smartly-enable-prooftree for enabling prooftree if Coq >= 8.4beta is detected * fix package description * add hints on Prooftree and incompatibility with manual Coq installations to README.Debian * new patch for using debian-pkg-add-load-path-item (see #670339), but don't use it, because debian-pkg-add-load-path-item breaks Proof General, see #676424 Checksums-Sha1: eed36c65acc3bdee35e38d6607a946413d3a3992 1962 proofgeneral_4.2~pre120605-1.dsc 31fce41a4a67a40701a8e8c83d1de1df26501c66 1020306 proofgeneral_4.2~pre120605.orig.tar.gz 4d26bd3872e3a17beb9a961edb8802156d5f783a 19936 proofgeneral_4.2~pre120605-1.debian.tar.gz 87e6d970c852a237d32f0a1ed00847c8e7808efd 432326 proofgeneral_4.2~pre120605-1_all.deb 6b585d9f2b6c02ad507b3867b35ef6b52f58f143 671154 proofgeneral-doc_4.2~pre120605-1_all.deb Checksums-Sha256: 19b2fd6ff2fe951e35bcb8920d6026c2068292602a3a3ec332451f38c99baf95 1962 proofgeneral_4.2~pre120605-1.dsc fa6f123aac7509370164c7a3217a332376c733138e28169852b4b4330c576fab 1020306 proofgeneral_4.2~pre120605.orig.tar.gz c7526d768e5cb85094849fd1bec047643fdb17c1d798ce71bda96806c505a979 19936 proofgeneral_4.2~pre120605-1.debian.tar.gz 8237ee62d62013c457c523f026b84010fedab3dad1c16d92fbb984e9957a26b2 432326 proofgeneral_4.2~pre120605-1_all.deb f02de46c836bb20eb9c6d3d2ff48d2bd723af74ef01acf5d2450e6d7be27b5fa 671154 proofgeneral-doc_4.2~pre120605-1_all.deb Files: 7fe6d30793b0a7a43558d9ccc3f37090 1962 editors optional proofgeneral_4.2~pre120605-1.dsc f103b1b6badf87188ab92ad47a507c44 1020306 editors optional proofgeneral_4.2~pre120605.orig.tar.gz 1a73aafe338d739f6ed9fa072367fe5b 19936 editors optional proofgeneral_4.2~pre120605-1.debian.tar.gz b9aa642c50766d3e7d31045dce6da890 432326 editors optional proofgeneral_4.2~pre120605-1_all.deb 4415587f07f8e62d569f1737817323b6 671154 doc optional proofgeneral-doc_4.2~pre120605-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJP02OGAAoJEHhT2k1JiBrT1/8QALhC5kJkM2PBTgaLYuWw8oFj LlBtQyw4g7J6K8AvdwrPeJtc01m/mm2Mphw1u9bgz1QTflUhas04x0r2o3z2u8wx qhcGE5ooBheGun4BLHtZHq3aEtQ2dKGmHnncXAKp05LxieFeAhnpaVbrtLbpdi3W 5DTZOfdu8ytekdN+AbmgGketTTrxKcRW42QkZGQKeAnk6nzm26bQtA1/Ar/bVPqi Y4VJdeYSK8XhiiYRQRkegf+G+WK1wiqEDgfcgKbN/wVVUWaTiwzTkbKyRoHkD8S1 1blWo3ZSFsID69tL2hs0DehNcxkeGjqhZfIag3dFy8ox4wr5WTKIkFPOszCXe5sM HApi3OpFUUtZROwjJFsQgBZwtwV3dQ9k96wScqSsuEY1ZcLh7kMTdekl5P5XxMyL ew1xM2f8yg9dikf8lp8JwBpPEKgg6Mr+23at6AY3foMZziwsUBt4tRP5EGHKX6Rf XgU7jAbz3lQvJFUC+OpS5Hnqh1t9YATch4SV9m5XSt8a9TfmQpQmFtPMTO574rDp GCf3x2Db9w5nRGI5lgVCLkG+HttxXIFusLOa7rZyHESgA+sezGHc+cb/khw5p0nG mqwKUCuQp4ghSJeBCGCDPdQxe+RPFEyUPxjQFs5ncSBR8vK504xdb+unTHFuOYns hQF1rnFceLDN4I6b7/Tk =2sHk -----END PGP SIGNATURE----- Accepted: proofgeneral-doc_4.2~pre120605-1_all.deb to main/p/proofgeneral/proofgeneral-doc_4.2~pre120605-1_all.deb proofgeneral_4.2~pre120605-1.debian.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120605-1.debian.tar.gz proofgeneral_4.2~pre120605-1.dsc to main/p/proofgeneral/proofgeneral_4.2~pre120605-1.dsc proofgeneral_4.2~pre120605-1_all.deb to main/p/proofgeneral/proofgeneral_4.2~pre120605-1_all.deb proofgeneral_4.2~pre120605.orig.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120605.orig.tar.gz
