Accepted proofgeneral 3.4-7 (all source)

[Stefan Schimanski <schimmi@kde.org>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Sun, 15 Sep 2002 14:15:24 +0200
Source: proofgeneral
Binary: proofgeneral-misc proofgeneral-coq proofgeneral-doc proofgeneral
Architecture: source all
Version: 3.4-7
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-7) unstable; urgency=low
 .
   * Install to /usr/share/emacs/site-lisp/proofgeneral.
Files: 
 a91a1275dd286ac437ea2fa5fb452ac2 638 editors optional proofgeneral_3.4-7.dsc
 5be0f5abbc116f5eaac809c4324468cf 758922 editors optional proofgeneral_3.4.orig.tar.gz
 cc5864a9aac626a5ecd00a09bd1b52d8 4970 editors optional proofgeneral_3.4-7.diff.gz
 38d9e2d56b807ad9cc6f219df7bca4aa 403036 editors optional proofgeneral_3.4-7_all.deb
 165bed53b9f84293e3e771e8088da5bc 22544 editors optional proofgeneral-coq_3.4-7_all.deb
 a544a9731aab82e9912ec80195a3131c 121738 editors optional proofgeneral-misc_3.4-7_all.deb
 62b3533c118e2f5942c028a1d47bd4d4 110680 editors optional proofgeneral-doc_3.4-7_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.7 (GNU/Linux)

iD8DBQE9iNgetzWmSeC6BMERAngnAKCH2iffcCzC/6EAfzD7xNqo9ibhBwCggh9P
cJ3EUZYAZ5mYvwuNbWSJF0k=
=IW98
-----END PGP SIGNATURE-----


Accepted:
proofgeneral-coq_3.4-7_all.deb
  to pool/main/p/proofgeneral/proofgeneral-coq_3.4-7_all.deb
proofgeneral-doc_3.4-7_all.deb
  to pool/main/p/proofgeneral/proofgeneral-doc_3.4-7_all.deb
proofgeneral-misc_3.4-7_all.deb
  to pool/main/p/proofgeneral/proofgeneral-misc_3.4-7_all.deb
proofgeneral_3.4-7.diff.gz
  to pool/main/p/proofgeneral/proofgeneral_3.4-7.diff.gz
proofgeneral_3.4-7.dsc
  to pool/main/p/proofgeneral/proofgeneral_3.4-7.dsc
proofgeneral_3.4-7_all.deb
  to pool/main/p/proofgeneral/proofgeneral_3.4-7_all.deb
proofgeneral_3.4.orig.tar.gz
  to pool/main/p/proofgeneral/proofgeneral_3.4.orig.tar.gz