Your message dated Sat, 31 Dec 2016 15:50:54 +0000
with message-id <[email protected]>
and subject line Bug#846990: fixed in proofgeneral 4.4.1~pre161230-0.1
has caused the Debian Bug report #846990,
regarding Please migrate to emacs25
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.)
--
846990: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=846990
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: egg
Version: 4.0.6+0.20041122cvs-19
Usertags: [email protected]
We'd like to remove emacs24 from the archive as soon as it's feasible,
so please try to upgrade to emacs25, or add optional support for emacs25
as soon as you can.
For example, assuming the package works with emacs25, a dependency like
emacs25-nox | emacs25 | emacs24
should suffice.
Thanks
--
Rob Browning
rlb @defaultvalue.org and @debian.org
GPG as of 2011-07-10 E6A9 DA3C C9FD 1FF8 C676 D2C4 C0F0 39E9 ED1B 597A
GPG as of 2002-11-03 14DD 432F AE39 534D B592 F9A0 25C8 D377 8C7E 73A4
--- End Message ---
--- Begin Message ---
Source: proofgeneral
Source-Version: 4.4.1~pre161230-0.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.
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.
Richard B. Kreckel <[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: SHA256
Format: 1.8
Date: Fri, 30 Dec 2016 22:22:22 +0100
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.4.1~pre161230-0.1
Distribution: unstable
Urgency: medium
Maintainer: Hendrik Tews <[email protected]>
Changed-By: Richard B. Kreckel <[email protected]>
Description:
proofgeneral - generic frontend for proof assistants
proofgeneral-doc - generic frontend for proof assistants - documentation
Closes: 846990
Changes:
proofgeneral (4.4.1~pre161230-0.1) unstable; urgency=medium
.
* Non-maintainer upload.
* New upstream release.
* Make package work with emacs24 or emacs25 (Closes: #846990).
* debian/control: Remove ${shlib:Depends} for package proofgeneral.
* Drop debian/menu, following tech-ctte decision on #741573.
* debian/README.Debian: Remove special note about prooftree, which
is now a proper Debian package, and added HOL Light as prover.
* debian/*: Adapt to new upstream home at github.
* debian/patches/:
- drop smartly-enable-prooftree
- restrict-installed-provers.patch: added hol-light as prover
- refresh all others
Checksums-Sha1:
3de569e36cc9865943fb0401af33e2a908dd464f 2029
proofgeneral_4.4.1~pre161230-0.1.dsc
38819a626b2e1ac3a59164812d685007bf513bae 11671804
proofgeneral_4.4.1~pre161230.orig.tar.xz
9d25b5d06633fe56dbfa44d3dee05440bbcb24cf 19180
proofgeneral_4.4.1~pre161230-0.1.debian.tar.xz
0b4cceddd430e6d80bf5cf46c65f718fd0148e04 682020
proofgeneral-doc_4.4.1~pre161230-0.1_all.deb
16cd7de51b4b0e5c8519dce64a9b7ac9d4930ae3 600576
proofgeneral_4.4.1~pre161230-0.1_all.deb
59b5987a3faec8c90cb5e9580ac070ce761db8c9 10550
proofgeneral_4.4.1~pre161230-0.1_amd64.buildinfo
Checksums-Sha256:
d3dfcafbc90af553475d55496614535836fc121b6db2b25e1b72d63d837cf129 2029
proofgeneral_4.4.1~pre161230-0.1.dsc
ab32f8039c920cf409151fec5cff6ef0c6eddda3740726d2acf2479383631f34 11671804
proofgeneral_4.4.1~pre161230.orig.tar.xz
d7e23953e33d9f0203f0aea416fd9fd4a900db39ac6e6f6d04fccedf26f17dde 19180
proofgeneral_4.4.1~pre161230-0.1.debian.tar.xz
0de271ee93464556c3a38c126ea83aed0d480bd0e7bc17fc2ef6d8aa64f21186 682020
proofgeneral-doc_4.4.1~pre161230-0.1_all.deb
626a7845e3630ac6017406df7472a4529ddebdcf1e9ff67772f722bc936c43c4 600576
proofgeneral_4.4.1~pre161230-0.1_all.deb
bf8c8b486859aa223ddda22c38ab995a9739582a8c10b6212043f33dc1d701ec 10550
proofgeneral_4.4.1~pre161230-0.1_amd64.buildinfo
Files:
ecb314dd0498c9827933a6b0d7eebddd 2029 editors optional
proofgeneral_4.4.1~pre161230-0.1.dsc
6388afb0c63faa5a2c011cb10b081fa4 11671804 editors optional
proofgeneral_4.4.1~pre161230.orig.tar.xz
53c4a1b5e87cb8f3f1b01ae48a07acfe 19180 editors optional
proofgeneral_4.4.1~pre161230-0.1.debian.tar.xz
9114d06e911b8c2ada45187ce5152304 682020 doc optional
proofgeneral-doc_4.4.1~pre161230-0.1_all.deb
79766fef42f6cd6d61d0138479a0e501 600576 editors optional
proofgeneral_4.4.1~pre161230-0.1_all.deb
9647b3d010ba06fb42f3c530faecc7fa 10550 editors optional
proofgeneral_4.4.1~pre161230-0.1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJHBAEBCAAxFiEELxwEo2l/3m4i/s6V8EC9TJPIWtIFAlhnzasTHGtyZWNrZWxA
ZGViaWFuLm9yZwAKCRDwQL1Mk8ha0uTED/9Rh2o7bkaKrDmAgDyqDTmY1r5uUssr
zkr8TJXObYgHCsPALcmlgMTpKWvPJGo0w0R+LzpryIDKAWxfOuRGxml8afAsr01H
ilU4jBgzChT1VoEOqQ0KrSYgSEp2Ocl7PAyFUWx9+JZYxSeQKYZ1BEiIyW/59aI0
/MyboOgfgJJugjW3qvCXwnNW3m7aBZXb3nxlvob/OQzV6YJFy35jqEigpvTqzM9H
Ou5etwW5VyJSCoHIg2sukhFp1KlUyKwUZiqSK6YGFwmazcTrFZCVcN3WIh9IE6bI
gnGm3EmuZ4rKImQd3QcNidOHhIL79sUOdeJkJuI7G7CUTMqsQ3Sj8EmQ+u4QSZMM
AzycSyB/VPynpVi5D3WnhhqxdxOWufqZaeuLRhwvhHl5Xx3h/GcPuRCUP5FAOlxY
e048p3iXaad57be87TF9nKuMYrZyvDJLFqAOf7N5MIWGHPGwxCx2f+C80/br1KhO
qQNXQqN+w4MLYlLPjo5J8KVA1MnNsP8kIhEjy+QS57ZQJPgug4x7T0isbck9BvRv
ES68AgFZhPrHCDnrGZ6Ia/yLzzBFXgTT8xsnZUepDpHwuHXe89t6/HSefGBkqxDN
jm3VC2nS8fkkFp6TmIEPudbLgERjAkKYLApcUROcJIa2sx/2Kx/D562JB2e97Azn
bOMPSI2Sbtl/Tw==
=Szqz
-----END PGP SIGNATURE-----
--- End Message ---
