-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sun, 15 Sep 2002 14:15:24 +0200 Source: proofgeneral Binary: proofgeneral-misc proofgeneral-coq proofgeneral-doc proofgeneral Architecture: source all Version: 3.4-7 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski <[EMAIL PROTECTED]> Changed-By: Stefan Schimanski <[EMAIL PROTECTED]> 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-7) unstable; urgency=low . * Install to /usr/share/emacs/site-lisp/proofgeneral. Files: a91a1275dd286ac437ea2fa5fb452ac2 638 editors optional proofgeneral_3.4-7.dsc 5be0f5abbc116f5eaac809c4324468cf 758922 editors optional proofgeneral_3.4.orig.tar.gz cc5864a9aac626a5ecd00a09bd1b52d8 4970 editors optional proofgeneral_3.4-7.diff.gz 38d9e2d56b807ad9cc6f219df7bca4aa 403036 editors optional proofgeneral_3.4-7_all.deb 165bed53b9f84293e3e771e8088da5bc 22544 editors optional proofgeneral-coq_3.4-7_all.deb a544a9731aab82e9912ec80195a3131c 121738 editors optional proofgeneral-misc_3.4-7_all.deb 62b3533c118e2f5942c028a1d47bd4d4 110680 editors optional proofgeneral-doc_3.4-7_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (GNU/Linux) iD8DBQE9iNgetzWmSeC6BMERAngnAKCH2iffcCzC/6EAfzD7xNqo9ibhBwCggh9P cJ3EUZYAZ5mYvwuNbWSJF0k= =IW98 -----END PGP SIGNATURE----- Accepted: proofgeneral-coq_3.4-7_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.4-7_all.deb proofgeneral-doc_3.4-7_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.4-7_all.deb proofgeneral-misc_3.4-7_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.4-7_all.deb proofgeneral_3.4-7.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.4-7.diff.gz proofgeneral_3.4-7.dsc to pool/main/p/proofgeneral/proofgeneral_3.4-7.dsc proofgeneral_3.4-7_all.deb to pool/main/p/proofgeneral/proofgeneral_3.4-7_all.deb proofgeneral_3.4.orig.tar.gz to pool/main/p/proofgeneral/proofgeneral_3.4.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]