Your message dated Fri, 28 Aug 2026 10:05:01 +0000
with message-id <[email protected]>
and subject line Bug#1143940: fixed in bitwuzla 0.8.2-4
has caused the Debian Bug report #1143940,
regarding bitwuzla FTBFS on the slower riscv64 buildds
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.)
--
1143940: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1143940
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: bitwuzla
Version: 0.8.2-2
Severity: serious
Tags: ftbfs patch
X-Debbugs-Cc: [email protected]
User: [email protected]
Usertags: riscv64
https://buildd.debian.org/status/logs.php?pkg=bitwuzla&ver=0.8.2-2&arch=riscv64&suite=sid
...
Summary of Failures:
1164/3936 regress - bitwuzla:solver_bv_problem_130.smt2
TIMEOUT 120.07s killed by signal 15 SIGTERM
2638/3936 regress - bitwuzla:solver_bv_problem_130.smt2
TIMEOUT 120.05s killed by signal 15 SIGTERM
Ok: 3934
Fail: 0
Timeout: 2
dh_auto_test: error: cd obj-riscv64-linux-gnu && DEB_PYTHON_INSTALL_LAYOUT=deb
LC_ALL=C.UTF-8 MESON_TESTTHREADS=4 meson test --verbose returned exit code 1
make: *** [debian/rules:7: binary-arch] Error 25
A factor 2 would be sufficient for riscv64, but give it some buffer
in the hope it might also fix hppa.
Note that the timeout only matters for actual test hangs,
passing and even failing tests won't take longer.
--- bitwuzla-0.8.2/debian/rules 2026-07-06 11:31:25.000000000 +0300
+++ bitwuzla-0.8.2/debian/rules 2026-07-06 11:31:25.000000000 +0300
@@ -35,3 +35,6 @@
execute_after_dh_auto_clean:
set -e; for py in $(PY_VERS); do dh_auto_clean -Bbuild-$$py; done
$(RM) -rf debian/bin-*
+
+override_dh_auto_test:
+ dh_auto_test -- --timeout-multiplier 5
--- End Message ---
--- Begin Message ---
Source: bitwuzla
Source-Version: 0.8.2-4
Done: Gábor Németh <[email protected]>
We believe that the bug you reported is fixed in the latest version of
bitwuzla, 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.
Gábor Németh <[email protected]> (supplier of updated bitwuzla 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, 17 Aug 2026 14:45:22 +0200
Source: bitwuzla
Architecture: source
Version: 0.8.2-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Gábor Németh <[email protected]>
Closes: 1143940
Changes:
bitwuzla (0.8.2-4) unstable; urgency=medium
.
* Allow tests more time on some archs (Closes: #1143940)
with thanks to Adrian Bunk for the patch
Checksums-Sha1:
b5d8a1605ca1dbf2fd3ba40478320d9b4617a909 2535 bitwuzla_0.8.2-4.dsc
e5d4e76066292915540eee65dc0369ac6597c145 4724 bitwuzla_0.8.2-4.debian.tar.xz
9436c28e93455adfa891bcce1d684b630c1a284b 12837 bitwuzla_0.8.2-4_amd64.buildinfo
Checksums-Sha256:
345da80c3bc6b2793cde878c3d1a3064fd0b38600bb738b39a5c46ca670bc056 2535
bitwuzla_0.8.2-4.dsc
7f15db2f6b1b0fab51104187f9c86c99ef34f9b8cbd02906183d7b5ed0ceb90b 4724
bitwuzla_0.8.2-4.debian.tar.xz
c3355ae16dde6366f7e74188e478dc5f7184f403b7492173b41930279812ee35 12837
bitwuzla_0.8.2-4_amd64.buildinfo
Files:
1bdf7c560da386f11e8b0727bab7f69f 2535 science optional bitwuzla_0.8.2-4.dsc
8b4b4c54a570411e01bfcfc06a83551f 4724 science optional
bitwuzla_0.8.2-4.debian.tar.xz
831dfc560538d3e01dc176a7e3aaa89e 12837 science optional
bitwuzla_0.8.2-4_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmqRWDYRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtEmVA//S3XbxjK190ZUtlZV3jJeprHeE/nZAwec
SG2LehbN8vxvXuwX5GTk7moEcPx95BNHmk9HnrbN4h2mJKdvC+u388AL4J670XaC
jNdftUS63y+/jNRQtqmASMttzbxo47qg1E/7NGSxNcfZ/ewuHyXuwHolbKrSUzwH
nSE1WbJX3laEZ9u7U7f23SImArk1ZQzdhBnJANe8QVwX/BI3qh16zFqoikWcR1Os
imyvBzX5YgBF9SanLjETbUZ7QhjLoIDXdVnbE+LCm9wV9fthDgpMMEgaGa/arGNa
XIzGwZ4Dn4Dw2kwLN/iH2Pap3XrPZ3+WqqepYn9qHeVnt/RUi6lB7OXmLYB/QxR7
MV/9PXMaQQFJ4vYHBNQhcRM4gMfcbvdkdN/jvRRQt09RwbJZmyYrH7xPv1oIKcPH
LHaFu2gFFUoeNNBnLFwW1ugZjbN43u7kgRBwmUjLfAaP56W93rX/QcWwYMmkUlIs
fvlaIXJ1unY6N7TSshK6wm4m2Nlq5L+sXFvu2GaPDC2lcbJ//aSvcjcarw6tPsNg
ux8MMkQgVNFXI+HGepajb3BhPwQUBV4fZWSCDL4Ly1ip3Xv6fC2kSrRcO4rcbszq
fkbLSNPzYJIw3iHgR4JRbIoHhA8Qnvassl7ZDetSwxpALDVBG+eiFuI1kFHCWASD
NAQYRiB3hEU=
=dEU2
-----END PGP SIGNATURE-----
pgpPCFeYmI2Tr.pgp
Description: PGP signature
--- End Message ---
