Your message dated Thu, 26 Oct 2006 00:02:23 -0700
with message-id <[EMAIL PROTECTED]>
and subject line Bug#317611: fixed in proofgeneral 3.5-3.1
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--- Begin Message ---
Package: proofgeneral
Version: 3.5-3
Severity: minor
Tags: l10n, patch
The Vietnamese translation for debconf: proofgeneral
proofgeneral_3.5-3.vi.po.gz
Description: GNU Zip compressed data
translated and submitted by:
Clytie Siddall (vi-VN, Vietnamese free-software translation team /
nhóm Việt hóa phần mềm tự do)
--- End Message ---
--- Begin Message ---
Source: proofgeneral
Source-Version: 3.5-3.1
We believe that the bug you reported is fixed in the latest version of
proofgeneral, which is due to be installed in the Debian FTP archive:
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
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [EMAIL PROTECTED],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Christian Perrier <[EMAIL PROTECTED]> (supplier of updated proofgeneral package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [EMAIL PROTECTED])
-----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 <[EMAIL PROTECTED]>
Changed-By: Christian Perrier <[EMAIL PROTECTED]>
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-----
--- End Message ---
