Accepted proofgeneral 3.7-1 (source all)

[Stefan Schimanski <schimmi@debian.org>]

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

Format: 1.7
Date: Sun, 18 Mar 2008 21:11:22 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-misc proofgeneral-doc
Architecture: source all
Version: 3.7-1
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: 352650 429830 434975 471530
Changes: 
 proofgeneral (3.7-1) unstable; urgency=low
 .
   * New upstream release. Closes: #471530,#429830,#352650
   * emacs22 is already preferred from 3.5-6 on. Closes: #434975
Files: 
 a09f183c7f0b717a650a6ffa326a972e 671 science optional proofgeneral_3.7-1.dsc
 c922c2d591812ce417b72c13259ef4ad 1982146 science optional proofgeneral_3.7.orig.tar.gz
 0ffa4fe815edeededb71e43b290fd64d 20854 science optional proofgeneral_3.7-1.diff.gz
 015c4cfe9ebecf3a0d6d7e3cca657467 482978 science optional proofgeneral_3.7-1_all.deb
 e41ce2c884b8f34e906b948907bbd243 71438 science optional proofgeneral-coq_3.7-1_all.deb
 fba2988302a1f5ed578d224b7c9a1271 19288 science optional proofgeneral-minlog_3.7-1_all.deb
 d193a260e1f57843728d0f71a2eed3ac 141348 science optional proofgeneral-misc_3.7-1_all.deb
 4cd186b7a7fd4980f8bc645e98c94c4d 89840 doc optional proofgeneral-doc_3.7-1_all.deb

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

iD8DBQFH4FIRHUDhE+YrLEURAqFlAKC3CHWZzgS4QoME6TKlv/aHKcHVAgCg4TJC
ET/WHfdAVaY6xvLQdcepRNE=
=Qxh0
-----END PGP SIGNATURE-----


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