Your message dated Fri, 30 Jan 2026 14:34:11 +0000
with message-id <[email protected]>
and subject line Bug#1043884: fixed in boolector 3.2.4-1
has caused the Debian Bug report #1043884,
regarding boolector: Fails to build source after successful build
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.)
--
1043884: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1043884
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: boolector
Version: 1.5.118.6b56be4.121013-1.3
Severity: minor
Tags: trixie sid ftbfs
User: [email protected]
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User: [email protected]
Usertags: qa-doublebuild
Hi,
This package fails to build a source package after a successful build
(dpkg-buildpackage ; dpkg-buildpackage -S).
This is probably a clear violation of Debian Policy section 4.9 (clean target),
but this is filed as severity:minor for now, because a discussion on
debian-devel showed that we might want to revisit the requirement of a working
'clean' target.
More information about this class of issues, included common problems and
solutions, is available at
https://wiki.debian.org/qa.debian.org/FTBFS/SourceAfterBuild
Relevant part of the build log:
> cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env
> -us -uc -rfakeroot -S
> ------------------------------------------------------------------------------------------------------------------------------------------
>
> dpkg-buildpackage: info: source package boolector
> dpkg-buildpackage: info: source version 1.5.118.6b56be4.121013-1.3
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Vagrant Cascadian
> <[email protected]>
> dpkg-source --before-build .
> fakeroot debian/rules clean
> dh_testdir
> dh_testroot
> rm -f build-stamp
> # Add here commands to clean up after the build process.
> [ ! -e makefile ] || /usr/bin/make clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> rm -f boolector deltabtor synthebtor
> rm -f dependencies makefile btorconfig.h
> rm -f *.gcda *.gcno *.gcov *.gch *.plist
> rm -f log/*.log *.tmp
> rm -f *.o *.a
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
> dh_clean
> dh_clean: warning: Compatibility levels before 10 are deprecated (level 7 in
> use)
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building boolector using existing
> ./boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz
> dpkg-source: info: building boolector using existing
> ./boolector_1.5.118.6b56be4.121013.orig.tar.gz
> dpkg-source: info: using patch list from debian/patches/series
> dpkg-source: warning: ignoring deletion of file btorconfig.h, use
> --include-removal to override
> dpkg-source: error: cannot represent change to lingeling/ilingeling: binary
> file contents changed
> dpkg-source: error: add lingeling/ilingeling in
> debian/source/include-binaries if you want to store the modified binary in
> the debian tarball
> dpkg-source: warning: executable mode 0755 of 'lingeling/ilingeling' will not
> be represented in diff
> dpkg-source: error: cannot represent change to lingeling/ilingeling.o: binary
> file contents changed
> dpkg-source: error: add lingeling/ilingeling.o in
> debian/source/include-binaries if you want to store the modified binary in
> the debian tarball
> dpkg-source: error: cannot represent change to lingeling/lglbnr.o: binary
> file contents changed
> dpkg-source: error: add lingeling/lglbnr.o in debian/source/include-binaries
> if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to lingeling/lglib.o: binary file
> contents changed
> dpkg-source: error: add lingeling/lglib.o in debian/source/include-binaries
> if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to lingeling/lglmain.o: binary
> file contents changed
> dpkg-source: error: add lingeling/lglmain.o in debian/source/include-binaries
> if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to lingeling/liblgl.a: binary
> file contents changed
> dpkg-source: error: add lingeling/liblgl.a in debian/source/include-binaries
> if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to lingeling/lingeling: binary
> file contents changed
> dpkg-source: error: add lingeling/lingeling in debian/source/include-binaries
> if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'lingeling/lingeling' will not
> be represented in diff
> dpkg-source: error: cannot represent change to lingeling/plingeling: binary
> file contents changed
> dpkg-source: error: add lingeling/plingeling in
> debian/source/include-binaries if you want to store the modified binary in
> the debian tarball
> dpkg-source: warning: executable mode 0755 of 'lingeling/plingeling' will not
> be represented in diff
> dpkg-source: error: cannot represent change to lingeling/plingeling.o: binary
> file contents changed
> dpkg-source: error: add lingeling/plingeling.o in
> debian/source/include-binaries if you want to store the modified binary in
> the debian tarball
> dpkg-source: error: unrepresentable changes to source
> dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 1
>
> E: Command 'cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage
> --sanitize-env -us -uc -rfakeroot -S' failed to run.
The full build log is available from:
http://qa-logs.debian.net/2023/08/13/boolector_1.5.118.6b56be4.121013-1.3_unstable.log
If you reassign this bug to another package, please mark it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects
If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.
--- 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-----
pgpIKy64gOEb3.pgp
Description: PGP signature
--- End Message ---
