Your message dated Mon, 03 Jan 2022 09:33:37 +0000
with message-id <[email protected]>
and subject line Bug#965441: fixed in boolector 1.5.118.6b56be4.121013-1.1
has caused the Debian Bug report #965441,
regarding boolector: Removal of obsolete debhelper compat 5 and 6 in bookworm
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.)
--
965441: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=965441
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: boolector
Version: 1.5.118.6b56be4.121013-1
Severity: normal
Usertags: compat-5-6-removal
Hi,
The package boolector uses debhelper with a compat level of 5 or 6,
which is deprecated and scheduled for removal[1].
Please bump the debhelper compat at your earliest convenience
/outside the freeze/!
* Compat 13 is recommended (supported in stable-backports)
* Compat 7 is the bare minimum
PLEASE KEEP IN MIND THAT the release team *DOES NOT* accept uploads
with compat bumps during the freeze.
If there is any risk that the fix for this bug might not migrate to
testing before 2021-01-01[3] then please postpone the fix until after
the freeze.
At the time of filing this bug, compat 5 and 6 are expected to be
removed "some time during the development cycle of bookworm".
Thanks,
~Niels
[1] https://lists.debian.org/debian-devel/2020/07/msg00065.html
[2] https://release.debian.org/bullseye/FAQ.html
[3] The choice of 2021-01-01 as a "deadline" is set before the actual
freeze deadline to provide a safe cut off point for most people.
Mind you, it is still your responsibility to ensure that the upload
makes it into testing even if you upload before that date.
--- End Message ---
--- Begin Message ---
Source: boolector
Source-Version: 1.5.118.6b56be4.121013-1.1
Done: Adrian Bunk <[email protected]>
We believe that the bug you reported is fixed in the latest version of
boolector, 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.
Adrian Bunk <[email protected]> (supplier of updated boolector 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: SHA512
Format: 1.8
Date: Mon, 27 Dec 2021 21:53:28 +0200
Source: boolector
Architecture: source
Version: 1.5.118.6b56be4.121013-1.1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <[email protected]>
Changed-By: Adrian Bunk <[email protected]>
Closes: 965441 999261
Changes:
boolector (1.5.118.6b56be4.121013-1.1) unstable; urgency=low
.
* Non-maintainer upload.
* debian/compat: 5 -> 7. (Closes: #965441)
* debian/rules: Add build-{arch,indep}. (Closes: #999261)
Checksums-Sha1:
6e1fbc3bf900decd83d44a9756bfed6cdff2288d 2165
boolector_1.5.118.6b56be4.121013-1.1.dsc
cfd3bb4c191e20046af1f4682e2287059ed1f535 4704
boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz
Checksums-Sha256:
bf2f37a125373101193db2b574f261a2746a5f4a95d4aed82a4e69b9e4beeb51 2165
boolector_1.5.118.6b56be4.121013-1.1.dsc
46b9da2978815cdaa340ac58101aee84b2595a5ed6641ee2a324b3e1176ea65c 4704
boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz
Files:
1253cf6dbbb93c89751c16e99b03f4c8 2165 science extra
boolector_1.5.118.6b56be4.121013-1.1.dsc
6925d3fda0b2f51ab7767113d45347c0 4704 science extra
boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAmHKGlcACgkQiNJCh6LY
mLEBbRAAoEaI1faQe9KHDTBMoIMTcvSditth8MpOzf+BGQGX8ncKANT4GHXWLMrp
plNl6RPuiqXXOWgTfQA3XHQVI1Sw5XXX73acDyA3DukzLn86e4mmk0uFtSx/UqDF
ZEneicELuJxTkO7E3eMw5MAE4xz9CLI2E4kV7pv9ROWmdHe5e7feZhZXhpYYtSK1
iTvapkRFMZ4jDj8j5Wm8fR2zp76Y/ErpsHw6kl58NrE5xYuWSQ10aUWOtME+qKz5
Lk/lOyias+xr95jmUvghrkxkFCPKhlkkYFAZWX5lDHoL9H7p4wbCNuZeL3LrxIrz
wq8+bAWRiB+UgM3a+q5Oe6xHVsFUSdXHnnToQu/VyCI6khdPTNMwlM6EprFWg+Ps
ms8cp8NCIu376MfxsLdQBRiJzTSA+BLV9foVC23Etkx9Qr0O2VupP+J2ZGeakORn
M3+F0CB7dhPGioH0Del6fC7UqhUO793psNQG+eVlTHLWvyJ65V0U8SGZXTb6dZd1
mKwMSOfbDg7FkW8oc3V3AOsqziRyRMXz1ofpGzTeAfnUx1EFEUVJYEl6ofF4UXw4
dumNc1wiAErqBFHz/LMR9MBizhtMnz9MRYVGRPOrNO0UXGJ+KkdEAHIIWmhB+82q
l6BCHhce/Wsf+aiycYZo/xnbDlVuiuSbtChwP8E82r+r9XmgUGY=
=N1hZ
-----END PGP SIGNATURE-----
--- End Message ---
