-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 20 Aug 2004 14:38:30 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.5-3 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 theorem provers Changes: proofgeneral (3.5-3) unstable; urgency=low . * Updated maintainer email address. Files: aa2714671d10a5011f37e1b38a1a071c 645 editors optional proofgeneral_3.5-3.dsc e40417d1ff49db4ee41494e79ccc1c62 8207 editors optional proofgeneral_3.5-3.diff.gz 1dead839b11e8db42d8c7f0da885384b 417866 editors optional proofgeneral_3.5-3_all.deb 97ed70419caf966181e52c7adae03fc3 44040 editors optional proofgeneral-coq_3.5-3_all.deb fa71bdcbaba1004240e89f1c23234ccf 149776 editors optional proofgeneral-misc_3.5-3_all.deb 82f3f21a094bf4bfc99be083f2f4abe5 120940 editors optional proofgeneral-doc_3.5-3_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQFBJfE9HUDhE+YrLEURApFOAKDnWMYxNOLAja5TlMWSV7tIo7b2sACdHhQx h6LIl4br6ze+fGGacMFfIQ4= =6dMo -----END PGP SIGNATURE----- Accepted: proofgeneral-coq_3.5-3_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.5-3_all.deb proofgeneral-doc_3.5-3_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.5-3_all.deb proofgeneral-misc_3.5-3_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.5-3_all.deb proofgeneral_3.5-3.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.5-3.diff.gz proofgeneral_3.5-3.dsc to pool/main/p/proofgeneral/proofgeneral_3.5-3.dsc proofgeneral_3.5-3_all.deb to pool/main/p/proofgeneral/proofgeneral_3.5-3_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]