[From nobody Tue Jul 21 10:21:04 2026 Received: (at 1141249-close) by bugs.debian.org; 21 Jul 2026 09:19:09 +0000 X-Spam-Checker-Version: SpamAssassin 4.0.1-bugs.debian.org_2005_01_02 (2024-03-25) on buxtehude.debian.org X-Spam-Level: X-Spam-Status: No, score=-113.1 required=4.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FVGT_m_MULTI_ODD,HAS_BUG_NUMBER, MD5_SHA1_SUM,PGPSIGNATURE,RCVD_IN_DNSWL_MED,SPF_HELO_PASS,SPF_PASS, USER_IN_DKIM_WELCOMELIST autolearn=ham autolearn_force=no version=4.0.1-bugs.debian.org_2005_01_02 X-Spam-Bayes: score:0.0000 Tokens: new, 75; hammy, 150; neutral, 128; spammy, 0. spammytokens: hammytokens:0.000-+--HX-Debian:DAK, 0.000-+--H*rp:D*ftp-master.debian.org, 0.000-+--HX-DAK:process-upload, 0.000-+--UD:debian.tar.xz, 0.000-+--H*r:sk:fasolo. Return-path: <envelope@ftp-master.debian.org> Received: from mitropoulos.debian.org ([2001:648:2ffc:deb:216:61ff:fe9d:958d]:40352) by buxtehude.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256) (Exim 4.96) (envelope-from <envelope@ftp-master.debian.org>) id 1wm6d3-0079Lp-0f for 1141249-close@bugs.debian.org; Tue, 21 Jul 2026 09:19:09 +0000 Received: via submission from C=NA, ST=NA, L=Ankh Morpork, O=Debian SMTP, OU=Debian SMTP CA, CN=fasolo.debian.org, EMAIL=hostmaster@fasolo.debian.org (verified) by mitropoulos.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256) (Exim 4.96) (envelope-from <envelope@ftp-master.debian.org>) id 1wm6d1-002ebY-2P for 1141249-close@bugs.debian.org; Tue, 21 Jul 2026 09:19:07 +0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Content-Type: Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID :Content-Description:In-Reply-To:References; bh=OG0t1T0aDGxECPL6DcIdmxnHicIN1jTfSYRawp0gSmk=; b=bxbhROqXRWGfZ3A/m8F99n9+Xu Embfjy4YcYPJinZbm/0yd+0vzzkVHMz12x0Yj+DwtyJi3M46/afITnCTXBV/rXQK0S9LJHafbS+B1 WOTTdtdvoLGw7Mszf2sSqOUdUyW7QsH8gRcQ6QYETOXk6cwJI8MHaPL1/nM0CRB1+796OE+RZqR6t Vvg+HT43LmgxkdqBelIUaOcRYsTRY7YLLRUSrHl8J6+TbzHokhJuvyC9D/wIboYpTJqRRj8WJUBIk qYEqiVY3c3eJpp1CdsKrs10Cp+DmNcJ33W1uy7bAZ67dD4l5yrzkoQ5VKmxzRNbzcL/pmI9sbTcVc H2Bz4WqA==; Received: from dak by fasolo.debian.org with local (Exim 4.98.2) (envelope-from <envelope@ftp-master.debian.org>) id 1wm6d0-000000002cT-2Nyp; Tue, 21 Jul 2026 09:19:06 +0000 From: Debian FTP Masters <ftpmaster@ftp-master.debian.org> Reply-To: =?utf-8?b?R8OhYm9yIE7DqW1ldGg=?= <homar@riseup.net> To: 1141249-close@bugs.debian.org X-DAK: dak process-upload X-Debian: DAK X-Debian-Package: bitwuzla Debian: DAK Debian-Changes: bitwuzla_0.8.2-3_source.changes Debian-Source: bitwuzla Debian-Version: 0.8.2-3 Debian-Architecture: source Debian-Suite: unstable Debian-Archive-Action: accept MIME-Version: 1.0 Subject: Bug#1141249: fixed in bitwuzla 0.8.2-3 Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="===============8134751526610907687==" Message-Id: <E1wm6d0-000000002cT-2Nyp@fasolo.debian.org> Date: Tue, 21 Jul 2026 09:19:06 +0000 --===============8134751526610907687== Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Source: bitwuzla Source-Version: 0.8.2-3 Done: G=C3=A1bor N=C3=A9meth <homar@riseup.net> 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 1141249@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. G=C3=A1bor N=C3=A9meth <homar@riseup.net> (supplier of updated bitwuzla packa= ge) (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 ftpmaster@ftp-master.debian.org) -----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.alio= th.debian.org> Changed-By: G=C3=A1bor N=C3=A9meth <homar@riseup.net> Closes: 1141249 Changes: bitwuzla (0.8.2-3) unstable; urgency=3Dmedium . * 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.buildi= nfo Checksums-Sha256: 9860981abd0d66b09f6e5aca898fdc491062646018eb008fac212b327dec0508 2535 bitwuz= la_0.8.2-3.dsc 3ace63941fe2a56c45ba7447b7f76a37426bef606b1fd39ce39e3b989f46e651 4632 bitwuz= la_0.8.2-3.debian.tar.xz e8bd311c00ce19547d29ae9c4866420154383aa8dff14f904ec677e7d05c36f8 13124 bitwu= zla_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.debi= an.tar.xz 4a45600accea3d7f969d20aee21f0fb9 13124 science optional bitwuzla_0.8.2-3_amd= 64.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=3D =3D3Tdy -----END PGP SIGNATURE----- --===============8134751526610907687== Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCal85igAKCRCb9qggYcy5 IYxgAQDNVBtQfa331eVWwev2Sgzq1DRYWJZK4xjQ1TW3EA1+mQD+J4QNVi1HfVVQ whEzpF4nSgTRRamEHcOIw+bpK7zc5gM= =o7wM -----END PGP SIGNATURE----- --===============8134751526610907687==-- ]