Your message dated Fri, 30 Jan 2026 14:34:11 +0000
with message-id <[email protected]>
and subject line Bug#1111926: fixed in boolector 3.2.4-1
has caused the Debian Bug report #1111926,
regarding ITS: boolector
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.)
--
1111926: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1111926
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: boolector
Version: 1.5.118.6b56be4.121013-1.3
Severity: important
X-Debbugs-Cc: Michael Tautschnig <[email protected]>, Debian Science Maintainers
<[email protected]>, [email protected],
Package Salvaging Team <[email protected]>
Hi,
I'm interested in salvaging the package boolector, in accordance with
the Package Salvaging procedure outlined in the Developers Reference[1].
This package meets the criteria for this process, and I would love to
assist in preserving and maintaining it. As the Salvage process
suggests, here is a list of the criteria that apply, in my opinion:
- NMUs (more than one NMU in a row).
- Bugs filed against the package do not have answers from the
maintainer.
- Upstream has released several versions, but despite there being
a bug entry asking for it, it has not been packaged.
- There are QA issues with the package.
I believe the package would be a great addition to the Science team, and
I took the liberty to create the Salsa repository here[2]. If you choose
not to accept the ITS, I'd be more than happy to help you move it to
another location, such as debian/, or wherever you prefer. My goal is to
make it as easy as possible for you to join the team. I'd also be
delighted to assist in adding you as a team member if you could share
your Salsa login.
Since the latest version requires the new dependency btor2tools we need
to wait with an upload until this is accepted in unstable.
This package was highlighted in the Bug of the Day[3] initiative, which
aims to introduce newcomers to manageable tasks and guide them through
the workflow to solve them. The focus of this initiative is on migrating
packages to Salsa, as it's a great way to help newcomers become familiar
with a consistent Git-based workflow.
Kind regards
Andreas.
[1]
https://www.debian.org/doc/manuals/developers-reference/pkgs.en.html#package-salvaging
[2] https://salsa.debian.org/science-team/boolector
[3] https://salsa.debian.org/qa/tiny_qa_tools/-/wikis/Tiny-QA-tasks
-- System Information:
Debian Release: forky/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing'), (50, 'buildd-unstable'), (1,
'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 6.3.0-2-amd64 (SMP w/8 CPU threads; PREEMPT)
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
--- 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-----
pgpQvacmzMk0a.pgp
Description: PGP signature
--- End Message ---
