bitwuzla_0.8.2-3_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Thank you for your contribution to Debian.



Accepted:

-----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 <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Gábor Németh <homar at riseup.net>
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-----

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 228 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20260721/a0a2cf3a/attachment.sig>