-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 20 Aug 2004 14:18:46 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.5-2 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 theorem provers Closes: 215126 239005 262636 Changes: proofgeneral (3.5-2) unstable; urgency=low . * Fixed info path (closes: #215126) * Fixed typos (closes: #239005) * Fixed url to ProofGeneral homepage (closes: #262636) * This is 3.5 (closes #247854) * Load ~/.proofgeneral if available from proofgeneral script (closes #252252) Files: 82870224568257b4de5e9e0f0c6ef2f3 642 editors optional proofgeneral_3.5-2.dsc c1d378d7a0d5dd20b7f271c7b2dcb467 8179 editors optional proofgeneral_3.5-2.diff.gz 8dca1e7b5c28271770dc65802b87bb56 417864 editors optional proofgeneral_3.5-2_all.deb abe54fbcc42c990faf1866e68e620b89 44012 editors optional proofgeneral-coq_3.5-2_all.deb 95518ffa1ea0abb78e148064fde85ac8 149734 editors optional proofgeneral-misc_3.5-2_all.deb 324575be232f48d1e6581cec5edd9ba5 120922 editors optional proofgeneral-doc_3.5-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQFBJe+tHUDhE+YrLEURAswDAJ0et6qQJPl9zkgDT/v91rmqFyJhtACeNK9W qJEZ2ghr5BAi3Gcnv4aCUCc= =uy9f -----END PGP SIGNATURE----- Accepted: proofgeneral-coq_3.5-2_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.5-2_all.deb proofgeneral-doc_3.5-2_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.5-2_all.deb proofgeneral-misc_3.5-2_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.5-2_all.deb proofgeneral_3.5-2.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.5-2.diff.gz proofgeneral_3.5-2.dsc to pool/main/p/proofgeneral/proofgeneral_3.5-2.dsc proofgeneral_3.5-2_all.deb to pool/main/p/proofgeneral/proofgeneral_3.5-2_all.deb -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
