Your message dated Tue, 18 Mar 2008 23:47:12 +0000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#434975: fixed in proofgeneral 3.7-1
has caused the Debian Bug report #434975,
regarding proofgeneral: please prefer emacs22
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.)
--
434975: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=434975
Debian Bug Tracking System
Contact [EMAIL PROTECTED] with problems
--- Begin Message ---
Package: proofgeneral
Version: 3.5-4.1
Severity: wishlist
There is now emacs22 in lenny/sid. Please support emacs22 and
add emacs22 (or emacs) to the dependency.
Currently, emacs21 still exists, so the severity of this bug is
`wishlist'. If emacs21 is removed, the severity will be bumped up.
BTW, I think the version dependencies of
`emacs21 (>= 21.1.0) | xemacs21 (>= 21.1.0)' is redundantly.
Please use `emacs22 | emacsen' (or `emacs | emacsen') instead.
Thanks,
--
Tatsuya Kinoshita
pgp2EweVnYw3v.pgp
Description: PGP signature
--- 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 ---
