Accepted proofgeneral 3.5-6 (source all)
-----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