-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 25 Aug 2003 13:00:21 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.4-13 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski <schimmi@kde.org> Changed-By: Stefan Schimanski <schimmi@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-misc - ProofGeneral support for different theoreom provers Closes: 207106 Changes: proofgeneral (3.4-13) unstable; urgency=low . * Changed debhelper dependency to 4.1.16. * Prepared for translations (thanks to Michel Grentzinger, closes: #207106). * Increased policy standard. * Fixed icon colors. Files: 95fb7c80d08fc7cdbf17c68cd59191c6 641 editors optional proofgeneral_3.4-13.dsc e06cecf2f757e20b2e033893a1d40f53 7111 editors optional proofgeneral_3.4-13.diff.gz 45df78a09b8489245442b4b1bd88b2f3 405790 editors optional proofgeneral_3.4-13_all.deb c667e0895e8b56b94c7aaba072feece5 22790 editors optional proofgeneral-coq_3.4-13_all.deb 94f83e138af4b81d9b4b0cea01070f20 122028 editors optional proofgeneral-misc_3.4-13_all.deb 064713d4e9543b50844c1c51be16f876 111172 editors optional proofgeneral-doc_3.4-13_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.2 (GNU/Linux) iD8DBQE/SfmGHUDhE+YrLEURAk3pAKC9q/r51v16Gcq8ltWS008HEGj3AgCeKEvR emMz5CPkMQbrCvyTJt0vlGs= =l2LO -----END PGP SIGNATURE----- Accepted: proofgeneral-coq_3.4-13_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.4-13_all.deb proofgeneral-doc_3.4-13_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.4-13_all.deb proofgeneral-misc_3.4-13_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.4-13_all.deb proofgeneral_3.4-13.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.4-13.diff.gz proofgeneral_3.4-13.dsc to pool/main/p/proofgeneral/proofgeneral_3.4-13.dsc proofgeneral_3.4-13_all.deb to pool/main/p/proofgeneral/proofgeneral_3.4-13_all.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org