Your message dated Wed, 27 Nov 2024 18:10:12 +0000
with message-id <e1tgmuo-00cpi1...@fasolo.debian.org>
and subject line Bug#1077126: fixed in proofgeneral 4.5-3
has caused the Debian Bug report #1077126,
regarding proofgeneral: needs rebuild against dh-elpa >=2.1.5
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 ow...@bugs.debian.org
immediately.)
--
1077126: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1077126
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: proofgeneral
Severity: serious
Tags: patch
User: debian-emac...@lists.debian.org
Usertags: dh-elpa-2.1.5-rebuilds
Dear maintainer,
This package needs a no-change upload to rebuild it against dh-elpa
>=2.1.5. This is because binNMUs cannot be used to rebuild arch:all
packages.
The update is needed to resolve a problem for users upgrading between
stable releases. In some circumstances, old .elc files can be left
behind, and Emacs will try to load them. In the best case there will
be warnings that the .el file cannot be found, so the .eln file cannot
be produced. In the worst case the package could break.
This is an RC bug because it's a Policy violation to leave the files
behind upon removal of the old version.
Please do something like this:
% dch Rebuild against newer dh-elpa.
% dch -r
% git commit debian/changelog -mchangelog
and upload.
Thanks.
--
Sean Whitton
--- End Message ---
--- Begin Message ---
Source: proofgeneral
Source-Version: 4.5-3
Done: Julien Puydt <jpu...@debian.org>
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 1077...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpu...@debian.org> (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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 27 Nov 2024 18:28:17 +0100
Source: proofgeneral
Architecture: source
Version: 4.5-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Math Team <team+m...@tracker.debian.org>
Changed-By: Julien Puydt <jpu...@debian.org>
Closes: 1077126
Changes:
proofgeneral (4.5-3) unstable; urgency=medium
.
* Bump standards-version to 4.7.0.
* Rebuild against newer dh-elpa (Closes: #1077126).
Checksums-Sha1:
254f2ee437e97c0ca099473202436b6d822e5a51 2122 proofgeneral_4.5-3.dsc
4811dcca260f66bef4e5f1699f0ffb66510e1f48 17424 proofgeneral_4.5-3.debian.tar.xz
eca6c30f0257c77c000673e129e9d4cacd8e1876 13305
proofgeneral_4.5-3_source.buildinfo
Checksums-Sha256:
8a0381b3c46e72e85ff88ab9a3b95f07da798895501294adb7dccb97e2420023 2122
proofgeneral_4.5-3.dsc
b40ac95a1214a27100e9a981ee2b1e55844ed93372e457cf107155ecc1e301e9 17424
proofgeneral_4.5-3.debian.tar.xz
bd84a61a97a1aa25380ebbcf9dc0d1815922bced31ea2dcc470bf11c8ed47dca 13305
proofgeneral_4.5-3_source.buildinfo
Files:
28f850a93f6dd9c2b67c9d15598a86a4 2122 editors optional proofgeneral_4.5-3.dsc
b4f539b38b2a0eb3d4c9fa7609266530 17424 editors optional
proofgeneral_4.5-3.debian.tar.xz
8e6320aebdfc61b51ed65639d4c947f2 13305 editors optional
proofgeneral_4.5-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdHVwUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRFPIP/2HdDIpP9ARs8mQI8tAr38W9Eunpgd+Q
nyjvD7LfQkr5lELvuH59Z+xGxArNfo5ZN0wZr7SpTpssnDcbuEsV8ZKFOnPdIoEH
JxxZPtmVdTq21kDFOrtBYxQdiiW9bdLOZWNNRH465ASiXb9hVIA1vkQ+DuRFmBjL
Sv2OxQTY5TdpWScgAUgx66KDzhBn2wrh6jKpY7YT/SSZxx7vVUhctV8hyDT7MfAF
cugTK3KUi38JroaD7iIfRC+3eNT9H2OcxkQxeu38ZqiWdzaW2sgG+pHv101LVd1d
9r8X6k6mowxuft+9xySuxjL1qv9gdU7k8IbXKw03PHf3vZpPfdkvj8P4g+vk2Q2C
Rkh9RaNP3So6BNd/0Nocghm8rhzr3BBZV2B06gI2dPJjMva3OdfGmLyuqec+86v5
bROvLn+dpJ3Lma8W0R+qcP7dHgKolxYfVuan14fRg525Xq70RrGWWJQdjsfA/BpL
tp77++8wfDEQzrUITSHfzhu65No8swrWpp6usrAFm7bSErCsaARqu1qfHfnVqwP0
RJW2wok/ycfANxg6SRs6tNGlDcJl24ygfTO8ZtagcHAdMTnRsxSH4qmgO4b8SHI0
kqdeNXDdWNt5zVmHw6f4TKmUz4eckYtgcLM1xTM2LGz/g9SaGi4WgW7JIJ+IglTN
u1JBbJzUzUlG
=xJkV
-----END PGP SIGNATURE-----
pgp6RntU9E6T2.pgp
Description: PGP signature
--- End Message ---
