Accepted proofgeneral 3.5-1 (all source)

[Stefan Schimanski <schimmi@debian.org>]

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

Format: 1.7
Date: Mon, 20 Aug 2004 13:40:30 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc
Architecture: source all
Version: 3.5-1
Distribution: unstable
Urgency: low
Maintainer: Stefan Schimanski <schimmi@kde.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-misc - ProofGeneral support for different theoreom provers
Changes: 
 proofgeneral (3.5-1) unstable; urgency=low
 .
   * New upstream release.
Files: 
 ec07c3471f20cb643dc9d71482af8cd2 642 editors optional proofgeneral_3.5-1.dsc
 92e642872381317c4edf72723ff96b2f 1775841 editors optional proofgeneral_3.5.orig.tar.gz
 c8b753fea10b8eda49271319321974b4 7640 editors optional proofgeneral_3.5-1.diff.gz
 320a14fbd7127888c56b3c03e036cbb5 417772 editors optional proofgeneral_3.5-1_all.deb
 a5b19eb6ff74a277b86eb9157cebf68e 43850 editors optional proofgeneral-coq_3.5-1_all.deb
 7eed04ba4860bfea78e765272f57f90a 149618 editors optional proofgeneral-misc_3.5-1_all.deb
 950471152c4c4765a9b29b8af8368acb 120782 editors optional proofgeneral-doc_3.5-1_all.deb

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

iD8DBQFBJemrHUDhE+YrLEURAhC/AJ9tBTX3NVzb1744HUB06/L++r71mwCgp/zF
6ShAX/JdCmmJftYLCLMAdMg=
=0Kwq
-----END PGP SIGNATURE-----


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