Accepted proofgeneral 3.5-4.1 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 19 Dec 2006 08:27:28 +0100
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-doc proofgeneral-misc
Architecture: source all i386
Version: 3.5-4.1
Distribution: unstable
Urgency: low
Maintainer: Stefan Schimanski <schimmi@debian.org>
Changed-By: Christian Perrier <bubulle@debian.org>
Description:
proofgeneral - A generic interface for proof assistants
proofgeneral-coq - ProofGeneral support for coq
proofgeneral-doc - Documentation for ProofGeneral in html format
proofgeneral-minlog - ProofGeneral support for Minlog
proofgeneral-misc - ProofGeneral support for different theorem provers
Closes: 403572
Changes:
proofgeneral (3.5-4.1) unstable; urgency=low
.
* Non-maintainer upload to fix an RC bug
* Move debhelper and mzscheme to Build-Depends. Closes: 403572
Lintian warnings are things that should be taken seriously.
* Lintian fixes:
- Remove useless CVS directory minlog/CVS
- Use 4 as debhelper compatibility (through debian/compat)
Files:
41fab1a37fa52c7cc2c402f5d7fe6312 675 editors optional proofgeneral_3.5-4.1.dsc
e3a5a0bc1169725bca18f6066c154bab 20067 editors optional proofgeneral_3.5-4.1.diff.gz
30aab36e477ddba9de0f44798cd56c92 421216 editors optional proofgeneral_3.5-4.1_all.deb
2de3ba753a93cc8e9d4739cf0981754a 44672 editors optional proofgeneral-coq_3.5-4.1_all.deb
25cc1436a24f541c90d2053ca47c4e53 150294 editors optional proofgeneral-misc_3.5-4.1_all.deb
4ea53c95c39b853e160eefae4035212c 121478 editors optional proofgeneral-doc_3.5-4.1_all.deb
d7bdfe3cebe4ee53c6a6457f5a570ae1 16996 editors optional proofgeneral-minlog_3.5-4.1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFFiC561OXtrMAUPS0RAr7nAKCBRNl8GjHd49hLnYo9lguL9Ez1hQCdHiKs
AdGyqZXMCj/3wQBPMCzKZak=
=sfTp
-----END PGP SIGNATURE-----
Accepted:
proofgeneral-coq_3.5-4.1_all.deb
to pool/main/p/proofgeneral/proofgeneral-coq_3.5-4.1_all.deb
proofgeneral-doc_3.5-4.1_all.deb
to pool/main/p/proofgeneral/proofgeneral-doc_3.5-4.1_all.deb
proofgeneral-minlog_3.5-4.1_i386.deb
to pool/main/p/proofgeneral/proofgeneral-minlog_3.5-4.1_i386.deb
proofgeneral-misc_3.5-4.1_all.deb
to pool/main/p/proofgeneral/proofgeneral-misc_3.5-4.1_all.deb
proofgeneral_3.5-4.1.diff.gz
to pool/main/p/proofgeneral/proofgeneral_3.5-4.1.diff.gz
proofgeneral_3.5-4.1.dsc
to pool/main/p/proofgeneral/proofgeneral_3.5-4.1.dsc
proofgeneral_3.5-4.1_all.deb
to pool/main/p/proofgeneral/proofgeneral_3.5-4.1_all.deb
Reply to: