Accepted proofgeneral 4.2~pre120605-1 (source all)
-----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