Your message dated Tue, 21 Jul 2026 09:19:06 +0000
with message-id <[email protected]>
and subject line Bug#1141249: fixed in bitwuzla 0.8.2-3
has caused the Debian Bug report #1141249,
regarding python3-bitwuzla: conflicting python3 dependencies
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.)
--
1141249: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1141249
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: python3-bitwuzla
Version: 0.8.2-2
Severity: serious
Hi,
A rebuilt python3-bitwuzla for against python3.14 as default interpreter
caused python3-bitwuzla to have these dependencies:
Depends: python3 (<< 3.15), python3 (>= 3.14~), python3:any (<< 3.14),
python3:any (>= 3.13~), [...]
With python3 being at 3.14.6-1, that is uninstallable. The python3:any
dependencies seem to come from debian/control:
X-Python3-Version: >= 3.13, << 3.14
Perhaps that can be removed.
Cheers,
Emilio
--- End Message ---
--- Begin Message ---
Source: bitwuzla
Source-Version: 0.8.2-3
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, 06 Jul 2026 10:31:25 +0200
Source: bitwuzla
Architecture: source
Version: 0.8.2-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Gábor Németh <[email protected]>
Closes: 1141249
Changes:
bitwuzla (0.8.2-3) unstable; urgency=medium
.
* One more multiarch hint
* Bump Std-Ver to 4.7.4
* Bump compat to 14
* Fix Python versions (Closes: #1141249)
Checksums-Sha1:
d8a9fc3066a82f651713d0e01aad0c98ba9127c0 2535 bitwuzla_0.8.2-3.dsc
b782207e04a2587993298df8828047c466db5ac9 4632 bitwuzla_0.8.2-3.debian.tar.xz
f1324f62235961831056bee9b513befc2dec8ec3 13124 bitwuzla_0.8.2-3_amd64.buildinfo
Checksums-Sha256:
9860981abd0d66b09f6e5aca898fdc491062646018eb008fac212b327dec0508 2535
bitwuzla_0.8.2-3.dsc
3ace63941fe2a56c45ba7447b7f76a37426bef606b1fd39ce39e3b989f46e651 4632
bitwuzla_0.8.2-3.debian.tar.xz
e8bd311c00ce19547d29ae9c4866420154383aa8dff14f904ec677e7d05c36f8 13124
bitwuzla_0.8.2-3_amd64.buildinfo
Files:
6a410731069573c6149ba1a459c73a62 2535 science optional bitwuzla_0.8.2-3.dsc
530d11724c88ea70041ea2e6d8dc3e3b 4632 science optional
bitwuzla_0.8.2-3.debian.tar.xz
4a45600accea3d7f969d20aee21f0fb9 13124 science optional
bitwuzla_0.8.2-3_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmpfNHgRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtGuGg//VGxWQwDXXwN3I1EiSut4OEwqQE909S8h
ojdMP0SQ/2tMHF8y9jHC9T83C80n7gcliTaE+p3ycmPMGQogpwGNvKkwegxzwwhO
tWt+Kszgz5DsXGV04Xura0jc8h7EDsefIf25McmjgRTyyWY1dA3keNkB+5pzFCkW
YfMVanKQ7eFslKi2tdL8UIJDEDM6jEBu1Jw3bdymt3meID6cJqI3ZBw+Q2Ffek2j
WzrCiIDEC5JSSMsSIGlo4Jji7DD+/8J48lLqfxqmGxsNmlrUlJuWPtIPR5SYcaB/
H2GLemwvZ4izYxPFkhcRQARajow3ciRSuYtZTlRw8sbVSd5Di50mye4zixfDw4fI
7vFKuSlL89YhRclFcOG5p11hk1mpa4JDKUZ0KXMRChc0h2C2WTIrb/deKTXoNuGj
8XTbAPZvL8VbBOasq3iJzB+bBW7mbW4orxs4+CrYjnwF5j5vXcka4TM08Jb4BAsl
1O7f4OmcXLcK1pFvVoIoBJUV693Egos9Z40GAvK7vjpTPGFqS1Rvi19fHfAt3yPN
plazzWWehxtYeZwvygtAKXghkrC6UnrL2UoHsYUVBEoudlFFV5rwMJfBnry9U+DA
qpPaVYGu5oe7yv6NoKSgrfSicspv8z3nn9MQDw6kqJFPzfjIwATnBAlCjqwbabuC
PVGkyhlVCcU=
=3Tdy
-----END PGP SIGNATURE-----
pgpMsWOcT3EeS.pgp
Description: PGP signature
--- End Message ---
