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