Accepted proofgeneral 3.7-3 (source all)

[Stefan Schimanski <schimmi@debian.org>]

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

Format: 1.7
Date: Wed, 2 Apr 2008 11:41:10 +0100
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-misc proofgeneral-doc
Architecture: source all
Version: 3.7-3
Distribution: unstable
Urgency: low
Maintainer: Stefan Schimanski <schimmi@debian.org>
Changed-By: Stefan Schimanski <schimmi@debian.org>
Description: 
 proofgeneral - generic interface for proof assistants - common package
 proofgeneral-coq - generic interface for proof assistants - coq support
 proofgeneral-doc - generic interface for proof assistants - documentation
 proofgeneral-minlog - generic interface for proof assistants - Minlog support
 proofgeneral-misc - generic interface for proof assistants - theorem provers support
Closes: 473893
Changes: 
 proofgeneral (3.7-3) unstable; urgency=low
 .
   * Fix bin/proofgeneral script:
     - correct lowercase path to the lisp directory. Closes: 473893
     - working -v and --version option which need the PGHOME to work.
Files: 
 159d76907e2f32b9b10550b373560b82 714 science optional proofgeneral_3.7-3.dsc
 c9c3293fccf5f650cf0d0b32966a7811 21422 science optional proofgeneral_3.7-3.diff.gz
 49a2e10a446833ed61ce41beec5cb5a0 483224 science optional proofgeneral_3.7-3_all.deb
 00f974465c7337fd8c5bdfb832ef6bb6 71722 science optional proofgeneral-coq_3.7-3_all.deb
 da72effe1c91be608aa71f9b61decef0 19598 science optional proofgeneral-minlog_3.7-3_all.deb
 46e0b8972f93c78a94f4908e76210fe2 141588 science optional proofgeneral-misc_3.7-3_all.deb
 1d0af303efb9c26502548e94a5a82f26 90102 doc optional proofgeneral-doc_3.7-3_all.deb

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

iD8DBQFH81hkHUDhE+YrLEURAucNAJ0f9jAPeph65xtWDq3dk0phsdMPZgCg1yyN
b/vtJuesgEXZdetN5SvtiSI=
=VZvu
-----END PGP SIGNATURE-----


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