Your message dated Tue, 18 Mar 2008 23:47:12 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#471530: fixed in proofgeneral 3.7-1
has caused the Debian Bug report #471530,
regarding proofgeneral: new version with utf-8 support
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 this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [EMAIL PROTECTED]
immediately.)
--
471530: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=471530
Debian Bug Tracking System
Contact [EMAIL PROTECTED] with problems
--- Begin Message ---
Package: proofgeneral
Version: 3.5-6
Severity: wishlist
Hello,
The version 3.7 is available. It is important because it supports utf-8
and would probably solve the 429830 bug.
Best regards,
Olivier
-- System Information:
Debian Release: lenny/sid
APT prefers unstable
APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: i386 (i686)
Kernel: Linux 2.6.22-buga (SMP w/2 CPU cores; PREEMPT)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages proofgeneral depends on:
ii debconf [debconf-2.0] 1.5.20 Debian configuration management sy
ii emacs [emacsen] 22.1+1-3 The GNU Emacs editor (metapackage)
ii emacs21 [emacsen] 21.4a+1-5.3 The GNU Emacs editor
ii emacs22 [emacsen] 22.1+1-3 The GNU Emacs editor
ii xemacs21-mule [emacsen] 21.4.21-3 highly customizable text editor --
Versions of packages proofgeneral recommends:
ii proofgeneral-coq 3.5-6 ProofGeneral support for coq
-- debconf information excluded
--- End Message ---
--- Begin Message ---
Source: proofgeneral
Source-Version: 3.7-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.7-1_all.deb
to pool/main/p/proofgeneral/proofgeneral-coq_3.7-1_all.deb
proofgeneral-doc_3.7-1_all.deb
to pool/main/p/proofgeneral/proofgeneral-doc_3.7-1_all.deb
proofgeneral-minlog_3.7-1_all.deb
to pool/main/p/proofgeneral/proofgeneral-minlog_3.7-1_all.deb
proofgeneral-misc_3.7-1_all.deb
to pool/main/p/proofgeneral/proofgeneral-misc_3.7-1_all.deb
proofgeneral_3.7-1.diff.gz
to pool/main/p/proofgeneral/proofgeneral_3.7-1.diff.gz
proofgeneral_3.7-1.dsc
to pool/main/p/proofgeneral/proofgeneral_3.7-1.dsc
proofgeneral_3.7-1_all.deb
to pool/main/p/proofgeneral/proofgeneral_3.7-1_all.deb
proofgeneral_3.7.orig.tar.gz
to pool/main/p/proofgeneral/proofgeneral_3.7.orig.tar.gz
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.
Stefan Schimanski <[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: Sun, 18 Mar 2008 21:11:22 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-misc
proofgeneral-doc
Architecture: source all
Version: 3.7-1
Distribution: unstable
Urgency: low
Maintainer: Stefan Schimanski <[EMAIL PROTECTED]>
Changed-By: Stefan Schimanski <[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-minlog - ProofGeneral support for Minlog
proofgeneral-misc - ProofGeneral support for different theorem provers
Closes: 352650 429830 434975 471530
Changes:
proofgeneral (3.7-1) unstable; urgency=low
.
* New upstream release. Closes: #471530,#429830,#352650
* emacs22 is already preferred from 3.5-6 on. Closes: #434975
Files:
a09f183c7f0b717a650a6ffa326a972e 671 science optional proofgeneral_3.7-1.dsc
c922c2d591812ce417b72c13259ef4ad 1982146 science optional
proofgeneral_3.7.orig.tar.gz
0ffa4fe815edeededb71e43b290fd64d 20854 science optional
proofgeneral_3.7-1.diff.gz
015c4cfe9ebecf3a0d6d7e3cca657467 482978 science optional
proofgeneral_3.7-1_all.deb
e41ce2c884b8f34e906b948907bbd243 71438 science optional
proofgeneral-coq_3.7-1_all.deb
fba2988302a1f5ed578d224b7c9a1271 19288 science optional
proofgeneral-minlog_3.7-1_all.deb
d193a260e1f57843728d0f71a2eed3ac 141348 science optional
proofgeneral-misc_3.7-1_all.deb
4cd186b7a7fd4980f8bc645e98c94c4d 89840 doc optional
proofgeneral-doc_3.7-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFH4FIRHUDhE+YrLEURAqFlAKC3CHWZzgS4QoME6TKlv/aHKcHVAgCg4TJC
ET/WHfdAVaY6xvLQdcepRNE=
=Qxh0
-----END PGP SIGNATURE-----
--- End Message ---
