Your message dated Thu, 29 Aug 2024 13:04:13 +0000
with message-id <e1sjeov-005lo8...@fasolo.debian.org>
and subject line Bug#1077095: fixed in agda 2.6.3-2
has caused the Debian Bug report #1077095,
regarding agda: 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.)
--
1077095: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1077095
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: agda
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: agda
Source-Version: 2.6.3-2
Done: Ilias Tsitsimpis <ilias...@debian.org>
We believe that the bug you reported is fixed in the latest version of
agda, 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.
Ilias Tsitsimpis <ilias...@debian.org> (supplier of updated agda 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: Thu, 29 Aug 2024 15:28:02 +0300
Source: agda
Architecture: source
Version: 2.6.3-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group
<pkg-haskell-maintain...@lists.alioth.debian.org>
Changed-By: Ilias Tsitsimpis <ilias...@debian.org>
Closes: 1077095
Changes:
agda (2.6.3-2) unstable; urgency=medium
.
* Rebuild against dh-elpa >=2.1.5 (Closes: #1077095)
Checksums-Sha1:
48e3bad21573a00fe0e84cfa3acdaecabc5a0ca2 4945 agda_2.6.3-2.dsc
02eacaf4ccb032a73c6c71f862c0bc0e63d88ef6 11636 agda_2.6.3-2.debian.tar.xz
ec116be99e111c11567c8ce166063e0f11bac9b2 17824 agda_2.6.3-2_amd64.buildinfo
Checksums-Sha256:
1e66a157e164dae016a68845db71e832744f32bc8ec8e51bf6b9a3b2d71391ee 4945
agda_2.6.3-2.dsc
43dca39ea6197707375fe25f06838c865fc78e11292d6066f261fe645a5529d2 11636
agda_2.6.3-2.debian.tar.xz
4c05fd03047c3d2eade6788c632af319153fb286376c5c52c5b9a2b74e41ce82 17824
agda_2.6.3-2_amd64.buildinfo
Files:
eccb3fabbc0eb0747e52b93eadb30f8b 4945 haskell optional agda_2.6.3-2.dsc
6b9a7540d9c00127f9f8bb2b8cda23b0 11636 haskell optional
agda_2.6.3-2.debian.tar.xz
31118dab382af2357dbaee68f12d7df8 17824 haskell optional
agda_2.6.3-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmbQcIwUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDzUFw//SqWUlgqFeARURgXa1ecOI03CYCYd
EZGdbKJVP6/8QgS6Enx6uCPsfcra4lBAH31xXue6OJ/4zHiHQwzPoDJ7SjA/erTc
b92B/iOPlRjYUhtGFKFA6Fd7Qdd5CMoEhVPOZHnZf7L71XYN5fFG/4iT5WuLMDM2
BhW3PH5O/YbF8eZNoZz1bAaGWMJmfd1Z1VRVmjv1g9bqR69qfZlb3iQTb6Td3OMx
cGCocY4NuIPSNJ/JERHhTETTl1TeVqe/UZY0WPJzl2zN52kzXx842a5/zeWDpTOZ
AAktvI/jIcgc7UxMncfl8qFRrOs2e3HHiEdWKc4+ZYBFT7VXcl+WGVTLofIi5ZDr
pG/xrw4njk+icCQoGmaXP5FXJJ0SjhtEDlQwO6LeGJEuSc3Z663dlrjfiJDCsFaG
X7n2nh1K4Y633RUZ7KNZODQlDAv81B5Uavlgnr8XcgRn8hM0Jk+z1RoFALEqsvwM
/AntnWQjcJuyzZ6RSgMlMItGPJyAEsOrjO3Fx2KeXReMBv/1ak3/7FG6tguINS9y
KWUyp0BgQcLcOJnCvxJZ5xQ7TDKLVIpKCNPM5GfHKxBEn5FFL6KBFTFmnGeH8qsm
Nv+F0QiPFvQ1jcWePlMEdImFuUz9p1ybHQEK8Ei/Uh/bQqbITKzj+CifF1rtFv19
RSq83B8JV9Ntsxk=
=cWnC
-----END PGP SIGNATURE-----
pgprz6PktBhGC.pgp
Description: PGP signature
--- End Message ---
