Accepted proofgeneral 3.4-8 (all source)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Sun, 22 Sep 2002 12:56:37 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc
Architecture: source all
Version: 3.4-8
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-8) unstable; urgency=low
.
* Fixed appearing proofgeneral icons in the default emacs21 toolbar.
Files:
063f28f9c11871a319532ad37638ef8e 638 editors optional proofgeneral_3.4-8.dsc
3add7e2c7e174b795d0ebc4ab52c1e3d 5211 editors optional proofgeneral_3.4-8.diff.gz
cb9fe1ee6eeea7beec03209ef6820d17 404324 editors optional proofgeneral_3.4-8_all.deb
c5cb83cabbc1a27947e85b4ab6af7f46 22370 editors optional proofgeneral-coq_3.4-8_all.deb
395e4e8dbe4cd916b24efd8eda0a5ad5 121500 editors optional proofgeneral-misc_3.4-8_all.deb
deb788ef7e2e786de6f8ff6e5acb6fc2 110644 editors optional proofgeneral-doc_3.4-8_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.7 (GNU/Linux)
iD8DBQE9jriotzWmSeC6BMERAuspAKCn8PbHShegYc2PbhzvS9bKiHwu+gCffS/J
flDiLHzqHY2OZSIWzN3e9dw=
=hmAk
-----END PGP SIGNATURE-----
Accepted:
proofgeneral-coq_3.4-8_all.deb
to pool/main/p/proofgeneral/proofgeneral-coq_3.4-8_all.deb
proofgeneral-doc_3.4-8_all.deb
to pool/main/p/proofgeneral/proofgeneral-doc_3.4-8_all.deb
proofgeneral-misc_3.4-8_all.deb
to pool/main/p/proofgeneral/proofgeneral-misc_3.4-8_all.deb
proofgeneral_3.4-8.diff.gz
to pool/main/p/proofgeneral/proofgeneral_3.4-8.diff.gz
proofgeneral_3.4-8.dsc
to pool/main/p/proofgeneral/proofgeneral_3.4-8.dsc
proofgeneral_3.4-8_all.deb
to pool/main/p/proofgeneral/proofgeneral_3.4-8_all.deb
Reply to: