Accepted proofgeneral 3.4-9 (all source)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 24 Sep 2002 19:21:48 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc
Architecture: source all
Version: 3.4-9
Distribution: unstable
Urgency: low
Maintainer: Stefan Schimanski <schimmi@kde.org>
Changed-By: Stefan Schimanski <schimmi@kde.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.4-9) unstable; urgency=low
.
* Fixed naming of toolbar icons for xemacs.
Files:
e29f4ed88050e670fd7579bbed088dc1 638 editors optional proofgeneral_3.4-9.dsc
85e43480233ee54d09a62dc98b5287ac 5243 editors optional proofgeneral_3.4-9.diff.gz
47790e559e4388a5118ef9f09d4100f5 404352 editors optional proofgeneral_3.4-9_all.deb
4b6d81f3493aad118b4e33f925b4207a 22408 editors optional proofgeneral-coq_3.4-9_all.deb
4759dd6969827d0a25abc227dacf61f8 121534 editors optional proofgeneral-misc_3.4-9_all.deb
ac74ade29ce416c87d0127cbed22aeab 110678 editors optional proofgeneral-doc_3.4-9_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.7 (GNU/Linux)
iD8DBQE9kK6ptzWmSeC6BMERAjXAAKD9WnBnA+U5QKgBbUi0dyjeOS55vgCfcV1O
ojtgFWE+9fZp3fn3gQAaBEY=
=wRMw
-----END PGP SIGNATURE-----
Accepted:
proofgeneral-coq_3.4-9_all.deb
to pool/main/p/proofgeneral/proofgeneral-coq_3.4-9_all.deb
proofgeneral-doc_3.4-9_all.deb
to pool/main/p/proofgeneral/proofgeneral-doc_3.4-9_all.deb
proofgeneral-misc_3.4-9_all.deb
to pool/main/p/proofgeneral/proofgeneral-misc_3.4-9_all.deb
proofgeneral_3.4-9.diff.gz
to pool/main/p/proofgeneral/proofgeneral_3.4-9.diff.gz
proofgeneral_3.4-9.dsc
to pool/main/p/proofgeneral/proofgeneral_3.4-9.dsc
proofgeneral_3.4-9_all.deb
to pool/main/p/proofgeneral/proofgeneral_3.4-9_all.deb
Reply to: