-----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