Your message dated Fri, 30 Jan 2026 14:34:10 +0000
with message-id <[email protected]>
and subject line Bug#922877: fixed in boolector 3.2.4-1
has caused the Debian Bug report #922877,
regarding boolector: new upstream version (3.1.0) (now MIT licensed)
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.)
--
922877: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=922877
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: boolector
Version: 1.5.118.6b56be4.121013-1+b1
Severity: normal
Dear Maintainer,
Could you please consider upgrading the packaged version of boolector?
I guess it was frozen to version 1.5.118 because of the license change.
But the version 3.0 is now under the MIT license, which is
Debian-compatible AFAIK.
Best regards,
Celelibi
-- System Information:
Debian Release: buster/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable')
Architecture: amd64 (x86_64)
Kernel: Linux 4.18.0-2-amd64 (SMP w/2 CPU cores)
Kernel taint flags: TAINT_WARN
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8),
LANGUAGE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
Versions of packages boolector depends on:
ii libc6 2.28-7
boolector recommends no packages.
boolector suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: boolector
Source-Version: 3.2.4-1
Done: Andreas Tille <[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.
Andreas Tille <[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: Fri, 30 Jan 2026 15:17:25 +0100
Source: boolector
Architecture: source
Version: 3.2.4-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Andreas Tille <[email protected]>
Closes: 922877 1043884 1111926 1119363
Changes:
boolector (3.2.4-1) unstable; urgency=medium
.
* New upstream version
Closes: #922877, #1043884
* Maintain package in Debian Science team
Closes: #1111926
* Update Homepage
* Fix watch file, version=5
* debhelper-compat 13 (routine-update)
* Remove old boilerplate from debian/rules (routine-update)
* Remove trailing whitespace in debian/copyright (routine-update)
* Remove trailing whitespace in debian/rules (routine-update)
* Trim trailing whitespace.
* d/rules: Switch to short dh
Closes: #1119363
* d/copyright: DEP5
* Make sure package builds with CMake 4
* Standards-Version: 4.7.3 (routine-update)
* Remove Priority field to comply with Debian Policy 4.7.3 (routine-
update)
* Prevent static linking
Checksums-Sha1:
8a607c4af9f418042072e6b8b5ff33a345d884d0 2043 boolector_3.2.4-1.dsc
eece967e0c7cdb770178d736214bca5c3abd7911 1567983 boolector_3.2.4.orig.tar.gz
e0fe63d370f5d72c780147bd3e637f9d4f65f219 3276 boolector_3.2.4-1.debian.tar.xz
ca51379743c84eae6efd9163633d5f05e7cb8bb2 7230 boolector_3.2.4-1_amd64.buildinfo
Checksums-Sha256:
2b9a505e9a392218320d458c9293ed6395e9fe3efafaf4fd5f49c53507458f58 2043
boolector_3.2.4-1.dsc
249c6dbf4e52ea6e8df1ddf7965d47f5c30f2c14905dce9b8f411756b05878bf 1567983
boolector_3.2.4.orig.tar.gz
a16d5c2b0eb83470cf24f744db3e038ad7b738652ba976c48db7702aa5864cb9 3276
boolector_3.2.4-1.debian.tar.xz
bf68f9868dd9303a28f5d1f86684dc9428b0ab5e7a9b6f90ca844f075aeb8521 7230
boolector_3.2.4-1_amd64.buildinfo
Files:
26de97c2b2e401c62a9449f862d71767 2043 science optional boolector_3.2.4-1.dsc
8dc8026d5d3801bffecc262c6b878abf 1567983 science optional
boolector_3.2.4.orig.tar.gz
b913d8cc4897284fadf79ad5786a9817 3276 science optional
boolector_3.2.4-1.debian.tar.xz
da43d2bc7312757fcdf46392113aca17 7230 science optional
boolector_3.2.4-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAml8vfERHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtEMzg/+OucuHBX6Y92i5iBjzSktNSfhTXZtXqZt
JX9Imc73t/pS41/jfOuU7aa+qjvAsOM/9fxy4vvggWqsWbDsDtRpqnxYu9G/2umA
3awcyC/NqMlUcx7QxPJSA8dDcz2GR6ofCPjZRLs1FHnXH4GE7kEXtNJsyRNUvp7r
a8thWCWzKr5YZ1zs5dB7s5DR+/OM0YRDSn0kgBlEjBkkizB77Jne0hLt53/b8G2q
Hkw2ozS2aICvTVcB3RegqUUF9ZDDuoI3mohKtqtUTmTsEv9xiZNZxs4W65PSEiyj
7oyHxbWOFuVxcTSFchXHnEIF0wi4SIT8NMM3GwrbGr8zq1UdInXSv9rWhyKtNL0v
JvsMqHZd/GQOlpGOBWyr8dSMO7b1FHKCQbuk91ECRtc0zvjB6EYGq+ChG3pNkXn7
509fyrFwHkIyjQWjfYAD6Sh3VrzuGudbQzjVsN0r8HlYRGmv3QVGo4klGOMy4U41
ruFS76edLISUkv1FB9CmAluExTj6h17Q1d41ncuXUa6jYq+vsNga/s1B/L8cVoQu
JoD7LxOzoG0oDpPl5Ce4LgyYX47ppYMAeehel4AStNg1he32zmCFvNQ4IeNo+0AE
kn4ZT050zNyIhtos3MXab0+QaGUY7z3GHemLzF9IopZfijPoLddxnau/ixi+XN7H
jpbhzBOYyc4=
=hIKf
-----END PGP SIGNATURE-----
pgpkZF0801NgY.pgp
Description: PGP signature
--- End Message ---
