Accepted proofgeneral 3.5-2 (all source)

[Stefan Schimanski <schimmi@debian.org>]

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

Format: 1.7
Date: Fri, 20 Aug 2004 14:18:46 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc
Architecture: source all
Version: 3.5-2
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 theorem provers
Closes: 215126 239005 262636
Changes: 
 proofgeneral (3.5-2) unstable; urgency=low
 .
   * Fixed info path (closes: #215126)
   * Fixed typos (closes: #239005)
   * Fixed url to ProofGeneral homepage (closes: #262636)
   * This is 3.5 (closes #247854)
   * Load ~/.proofgeneral if available from proofgeneral script (closes #252252)
Files: 
 82870224568257b4de5e9e0f0c6ef2f3 642 editors optional proofgeneral_3.5-2.dsc
 c1d378d7a0d5dd20b7f271c7b2dcb467 8179 editors optional proofgeneral_3.5-2.diff.gz
 8dca1e7b5c28271770dc65802b87bb56 417864 editors optional proofgeneral_3.5-2_all.deb
 abe54fbcc42c990faf1866e68e620b89 44012 editors optional proofgeneral-coq_3.5-2_all.deb
 95518ffa1ea0abb78e148064fde85ac8 149734 editors optional proofgeneral-misc_3.5-2_all.deb
 324575be232f48d1e6581cec5edd9ba5 120922 editors optional proofgeneral-doc_3.5-2_all.deb

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

iD8DBQFBJe+tHUDhE+YrLEURAswDAJ0et6qQJPl9zkgDT/v91rmqFyJhtACeNK9W
qJEZ2ghr5BAi3Gcnv4aCUCc=
=uy9f
-----END PGP SIGNATURE-----


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