-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 20 Aug 2004 13:40:30 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.5-1 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 Changes: proofgeneral (3.5-1) unstable; urgency=low . * New upstream release. Files: ec07c3471f20cb643dc9d71482af8cd2 642 editors optional proofgeneral_3.5-1.dsc 92e642872381317c4edf72723ff96b2f 1775841 editors optional proofgeneral_3.5.orig.tar.gz c8b753fea10b8eda49271319321974b4 7640 editors optional proofgeneral_3.5-1.diff.gz 320a14fbd7127888c56b3c03e036cbb5 417772 editors optional proofgeneral_3.5-1_all.deb a5b19eb6ff74a277b86eb9157cebf68e 43850 editors optional proofgeneral-coq_3.5-1_all.deb 7eed04ba4860bfea78e765272f57f90a 149618 editors optional proofgeneral-misc_3.5-1_all.deb 950471152c4c4765a9b29b8af8368acb 120782 editors optional proofgeneral-doc_3.5-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQFBJemrHUDhE+YrLEURAhC/AJ9tBTX3NVzb1744HUB06/L++r71mwCgp/zF 6ShAX/JdCmmJftYLCLMAdMg= =0Kwq -----END PGP SIGNATURE----- Accepted: proofgeneral-coq_3.5-1_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.5-1_all.deb proofgeneral-doc_3.5-1_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.5-1_all.deb proofgeneral-misc_3.5-1_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.5-1_all.deb proofgeneral_3.5-1.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.5-1.diff.gz proofgeneral_3.5-1.dsc to pool/main/p/proofgeneral/proofgeneral_3.5-1.dsc proofgeneral_3.5-1_all.deb to pool/main/p/proofgeneral/proofgeneral_3.5-1_all.deb proofgeneral_3.5.orig.tar.gz to pool/main/p/proofgeneral/proofgeneral_3.5.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org