[From nobody Fri Aug 28 11:07:05 2026 Received: (at 1143940-close) by bugs.debian.org; 28 Aug 2026 10:05:03 +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=-114.2 required=4.0 tests=ALL_TRUSTED,BAYES_00, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FVGT_m_MULTI_ODD, HAS_BUG_NUMBER,MD5_SHA1_SUM,PGPSIGNATURE,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, 92; hammy, 150; neutral, 123; 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 mailly.debian.org ([2001:41b8:202:deb:6564:a62:52c3:4b72]:58280) 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 1wztSJ-00EdCR-18 for 1143940-close@bugs.debian.org; Fri, 28 Aug 2026 10:05:03 +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 mailly.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 1wztSH-004jsY-2u for 1143940-close@bugs.debian.org; Fri, 28 Aug 2026 10:05:01 +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=Qd9NNn56bw/Dl9zmGL8KAUMyQWjiGQmg3K/0v+AhSC4=; b=bjCRl7yv/8AIny/AqAB9oRBDo4 CCNJWwJuHegJvdS3KEWFzCfqfO3+nRhM17AlXu99Zlq+IPTr90at8nKjSBtquwb4EZlr6vMsybEmm 8YYnpWo7HFEmEywjlMZu8rybv+gkVBmlQwJpLyqt+mlvoLqgdYhYVt8hBStN8BM34Vf0HpLtlN3Xr HHGGIbWu2fqhwYvJzNarfKfMbl27xwIcZqorGHAFDbopHczPtUSt8Hwm/roskHswJMYPxKl0HPJhp ZmIkAOTdh4BgvyA5cy69GZn4cgjgYUcOS/25YeD9QVKGqBqSox7IVW12ySHtXoRcuJ1LK/j1hIvlV hCh1SVDg==; Received: from dak by fasolo.debian.org with local (Exim 4.98.2) (envelope-from <envelope@ftp-master.debian.org>) id 1wztSH-000000091FX-09EX; Fri, 28 Aug 2026 10:05:01 +0000 From: Debian FTP Masters <ftpmaster@ftp-master.debian.org> Reply-To: =?utf-8?b?R8OhYm9yIE7DqW1ldGg=?= <homar@riseup.net> To: 1143940-close@bugs.debian.org X-DAK: dak process-upload X-Debian: DAK X-Debian-Package: bitwuzla Debian: DAK Debian-Changes: bitwuzla_0.8.2-4_source.changes Debian-Source: bitwuzla Debian-Version: 0.8.2-4 Debian-Architecture: source Debian-Suite: unstable Debian-Archive-Action: accept MIME-Version: 1.0 Subject: Bug#1143940: fixed in bitwuzla 0.8.2-4 Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="===============8559073745224647511==" Message-Id: <E1wztSH-000000091FX-09EX@fasolo.debian.org> Date: Fri, 28 Aug 2026 10:05:01 +0000 --===============8559073745224647511== Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Source: bitwuzla Source-Version: 0.8.2-4 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 1143940@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, 17 Aug 2026 14:45:22 +0200 Source: bitwuzla Architecture: source Version: 0.8.2-4 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: 1143940 Changes: bitwuzla (0.8.2-4) unstable; urgency=3Dmedium . * 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.buildi= nfo Checksums-Sha256: 345da80c3bc6b2793cde878c3d1a3064fd0b38600bb738b39a5c46ca670bc056 2535 bitwuz= la_0.8.2-4.dsc 7f15db2f6b1b0fab51104187f9c86c99ef34f9b8cbd02906183d7b5ed0ceb90b 4724 bitwuz= la_0.8.2-4.debian.tar.xz c3355ae16dde6366f7e74188e478dc5f7184f403b7492173b41930279812ee35 12837 bitwu= zla_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.debi= an.tar.xz 831dfc560538d3e01dc176a7e3aaa89e 12837 science optional bitwuzla_0.8.2-4_amd= 64.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=3D =3DdEU2 -----END PGP SIGNATURE----- --===============8559073745224647511== Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCapFdTQAKCRCb9qggYcy5 IbTjAQCMZrXMDmT5fn4XH8ugjfxTSMFF8CnNl8US7t3QbbCcJgEA6lWaCsCZjXIg riA5L/uMtslaRQeYqPBAH/Mf1AQ6rAg= =Waok -----END PGP SIGNATURE----- --===============8559073745224647511==-- ]