Accepted: proofgeneral 3.7-3build1 (source)

[Martin Pitt]

Accepted:
 OK: proofgeneral_3.7.orig.tar.gz
 OK: proofgeneral_3.7-3build1.diff.gz
 OK: proofgeneral_3.7-3build1.dsc
     -> Component: universe Section: editors

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

Format: 1.8
Date: Wed, 06 Aug 2008 14:20:15 +0000
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-misc proofgeneral-doc
Architecture: source
Version: 3.7-3build1
Distribution: intrepid
Urgency: low
Maintainer: Stefan Schimanski <schimmi at debian.org>
Changed-By: Martin Pitt <martin.pitt at ubuntu.com>
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
Changes: 
 proofgeneral (3.7-3build1) intrepid; urgency=low
 .
   * Rebuild against thread-enabled guile-1.8.
Checksums-Sha1: 
 7c50322ce317915dcd8122a3437f7fd5ed36a04d 1138 proofgeneral_3.7-3build1.dsc
 20bcf40cef1cb39882cb56589bd3dfbea4746e4e 21411 proofgeneral_3.7-3build1.diff.gz
Checksums-Sha256: 
 5e7954de329a2646f892ed8738b9f71f0e1021114b56196ae824f606ecf1a546 1138 proofgeneral_3.7-3build1.dsc
 e81664f4733679a63633e810b192d96720e8a3ad7a842ca365cb0f641302f818 21411 proofgeneral_3.7-3build1.diff.gz
Files: 
 3b15b3a55141c4c17419818e4dce3676 1138 science optional proofgeneral_3.7-3build1.dsc
 1527a52d52f25c324d35e4a6cf800bce 21411 science optional proofgeneral_3.7-3build1.diff.gz

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

iEYEARECAAYFAkiZtMYACgkQDecnbV4Fd/LLGACfUMV56IY/mQhV6yAntzamhEQZ
2WYAmQF4/JSNOewKQai1giDjZyuOmfY2
=2KFT
-----END PGP SIGNATURE-----