-----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@lists.alioth.debian.org> Changed-By: Gábor Németh <homar@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-----
