Accepted proofgeneral 3.5-3.1 (source all)

[Christian Perrier <bubulle@debian.org>]

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

Format: 1.7
Date: Sat,  7 Oct 2006 00:33:05 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc
Architecture: source all
Version: 3.5-3.1
Distribution: unstable
Urgency: low
Maintainer: Stefan Schimanski <schimmi@debian.org>
Changed-By: Christian Perrier <bubulle@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: 288029 308466 317611 332077 332359
Changes: 
 proofgeneral (3.5-3.1) unstable; urgency=low
 .
   * Non maintainer upload to fix longstanding l10n issues
   * Add debconf-2.0 as alternative to debconf. Closes: #332077
   * Debconf templates translations:
     - Added Vietnamese. Closes: #317611
     - Added Japasese. Closes: #288029
     - Added Czech. Closes: #308466
     - Added Swedish. Closes: #332359
     - Added Brazilian Portuguese. Sent during the call for updates of the NMU.
     - Added Russian. Sent during the call for updates of the NMU.
     - Added Portuguese. Sent during the call for updates of the NMU.
     - Added German. Sent during the call for updates of the NMU.
Files: 
 a6fcdff97608f6ca61264285711ee734 650 editors optional proofgeneral_3.5-3.1.dsc
 b17f8791917f91561bbbc0594a30d7d4 12026 editors optional proofgeneral_3.5-3.1.diff.gz
 7d9330793bf771669b6a232849686b3f 420480 editors optional proofgeneral_3.5-3.1_all.deb
 ecb66d8a66957b3e2f0c42538af4a3a1 44376 editors optional proofgeneral-coq_3.5-3.1_all.deb
 c8723ef52237cef82329c844a3eb66da 150000 editors optional proofgeneral-misc_3.5-3.1_all.deb
 edb6d70ca3c17838898843ef50be6ba0 121178 editors optional proofgeneral-doc_3.5-3.1_all.deb

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

iD8DBQFFQDy51OXtrMAUPS0RAktVAJsGIap7KyyV/TH7xt9cIo9mwqJM2ACgrvq7
2tKRJkUEp/hAd4RUHROQAkc=
=9tdn
-----END PGP SIGNATURE-----


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