-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sun, 21 Oct 2007 17:36:26 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.5-6 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski <schimmi@debian.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-minlog - ProofGeneral support for Minlog proofgeneral-misc - ProofGeneral support for different theorem provers Closes: 418390 Changes: proofgeneral (3.5-6) unstable; urgency=low . * Removed support for mzscheme <300 * Only use one startup script for all emacs versions * Added nl translation. Closes: 418390 * Moved to menu section Applications/Science/Mathematics Files: d7d85e1f52c87fbdfd8b1338323f169f 671 editors optional proofgeneral_3.5-6.dsc cfba65de56680deacf1c8850a9adb4ff 17558 editors optional proofgeneral_3.5-6.diff.gz dec7fe40a18e0dfad6acc9990f265f4f 418734 editors optional proofgeneral_3.5-6_all.deb e5173c5e2a8bd6efbd06cf0ae71c0018 44824 editors optional proofgeneral-coq_3.5-6_all.deb d14f04085f6aac27ad99a771d23a4a77 16376 editors optional proofgeneral-minlog_3.5-6_all.deb cc4f5a7ff1fc5bcb62c0b5c21700ef02 150484 editors optional proofgeneral-misc_3.5-6_all.deb c65b65a764b5ee16e444024383ea5039 121620 editors optional proofgeneral-doc_3.5-6_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHG3SMHUDhE+YrLEURAuhRAJ4tchmMufyJk9mxRMqeXpzItHPRNQCg5KBn 8jF9pj5FC5pB9NaFQB2Z3AI= =mezM -----END PGP SIGNATURE----- Accepted: proofgeneral-coq_3.5-6_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.5-6_all.deb proofgeneral-doc_3.5-6_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.5-6_all.deb proofgeneral-minlog_3.5-6_all.deb to pool/main/p/proofgeneral/proofgeneral-minlog_3.5-6_all.deb proofgeneral-misc_3.5-6_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.5-6_all.deb proofgeneral_3.5-6.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.5-6.diff.gz proofgeneral_3.5-6.dsc to pool/main/p/proofgeneral/proofgeneral_3.5-6.dsc proofgeneral_3.5-6_all.deb to pool/main/p/proofgeneral/proofgeneral_3.5-6_all.deb
