Accepted proofgeneral 3.5-4 (source all i386)

[Stefan Schimanski <schimmi@debian.org>]

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

Format: 1.7
Date: Wed, 6 Dec 2006 21:47:30 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-doc proofgeneral-misc
Architecture: source all i386
Version: 3.5-4
Distribution: unstable
Urgency: low
Maintainer: Stefan Schimanski <schimmi@debian.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-minlog - ProofGeneral support for Minlog
 proofgeneral-misc - ProofGeneral support for different theorem provers
Closes: 176921 260074
Changes: 
 proofgeneral (3.5-4) unstable; urgency=low
 .
   * Added support for Minlog
   * Do not load proof-site.el automatically anymore, but instead
     install an interactive function "proofgeneral". It then loads
     the ProofGeneral and, most importantly, assign the file extension
     to ProofGeneral. Closes: #260074,#176921
Files: 
 aa0acf90a992363467e1536842d2cd0e 677 editors optional proofgeneral_3.5-4.dsc
 1c49337396356222c20b2de33740b2ca 20169 editors optional proofgeneral_3.5-4.diff.gz
 0df496cfcc0a77a225d75c0faf9818f8 420848 editors optional proofgeneral_3.5-4_all.deb
 f89fd084d83008135b46baa618bd490f 44506 editors optional proofgeneral-coq_3.5-4_all.deb
 7f0e4781a11169b22d9c9aa1cc02277e 150150 editors optional proofgeneral-misc_3.5-4_all.deb
 a029978f90872ef97a7fc7831b5c0ba8 121320 editors optional proofgeneral-doc_3.5-4_all.deb
 127a5c673e9cfa88b2c5c14f74b27a62 16928 editors optional proofgeneral-minlog_3.5-4_i386.deb

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

iD8DBQFFd/ulHUDhE+YrLEURAux5AKD0zqtvA6GRPRePcjn25udh9JjHbQCguzJ8
AQ8SrQ+qI5p9T7KrxI2hzts=
=Pwtn
-----END PGP SIGNATURE-----


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