-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 24 Sep 2002 19:21:48 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.4-9 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski <schimmi@kde.org> Changed-By: Stefan Schimanski <schimmi@kde.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 Changes: proofgeneral (3.4-9) unstable; urgency=low . * Fixed naming of toolbar icons for xemacs. Files: e29f4ed88050e670fd7579bbed088dc1 638 editors optional proofgeneral_3.4-9.dsc 85e43480233ee54d09a62dc98b5287ac 5243 editors optional proofgeneral_3.4-9.diff.gz 47790e559e4388a5118ef9f09d4100f5 404352 editors optional proofgeneral_3.4-9_all.deb 4b6d81f3493aad118b4e33f925b4207a 22408 editors optional proofgeneral-coq_3.4-9_all.deb 4759dd6969827d0a25abc227dacf61f8 121534 editors optional proofgeneral-misc_3.4-9_all.deb ac74ade29ce416c87d0127cbed22aeab 110678 editors optional proofgeneral-doc_3.4-9_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (GNU/Linux) iD8DBQE9kK6ptzWmSeC6BMERAjXAAKD9WnBnA+U5QKgBbUi0dyjeOS55vgCfcV1O ojtgFWE+9fZp3fn3gQAaBEY= =wRMw -----END PGP SIGNATURE----- Accepted: proofgeneral-coq_3.4-9_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.4-9_all.deb proofgeneral-doc_3.4-9_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.4-9_all.deb proofgeneral-misc_3.4-9_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.4-9_all.deb proofgeneral_3.4-9.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.4-9.diff.gz proofgeneral_3.4-9.dsc to pool/main/p/proofgeneral/proofgeneral_3.4-9.dsc proofgeneral_3.4-9_all.deb to pool/main/p/proofgeneral/proofgeneral_3.4-9_all.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org