[From nobody Thu May 14 08:21:10 2026 Received: (at 1084002-close) by bugs.debian.org; 14 May 2026 07:19:41 +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.1 required=4.0 tests=ALL_TRUSTED,BAYES_00, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FOURLA, 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, 85; hammy, 150; neutral, 111; 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]:43914) 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 1wNQM9-00DGBt-0V for 1084002-close@bugs.debian.org; Thu, 14 May 2026 07:19:41 +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 1wNQM7-005JXX-1E for 1084002-close@bugs.debian.org; Thu, 14 May 2026 07:19:39 +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=br3WEkJD01OJ1D3dR/HIY1ooIbaucWMnechJrgVaxew=; b=Walrv76aBwjkfgNvqs5HE8xyV3 hCDQCBzWHH48xw4mn9ZernGxXkN2jX4lucXu91JfGj4tZNqGcNITl8VNHNMVm6pTiXkhe+6wWCB9X s8JQuRIMEDUzJplkgxYN+JQi4HtQzVsuncP69X6HnaPOBPFW4kYl+UZSPSLGaAENQGt0lX50PZ/qO 6c5G6Y7nAxDVjCGBaEQXoTS/ZaOqLJwHOp27FegFvas7eBwg8tfpmltH61+ZiqgXpvGqqq7KU3YKy gNTJ62YgcMH1zgAwdbYi2xdWvs6B0TVkCNL4hBaJupdJ0uHNvukV/jvFiR+DpJlsn9AOgB8YA2rJz o+iG5gLA==; Received: from dak by fasolo.debian.org with local (Exim 4.98.2) (envelope-from <envelope@ftp-master.debian.org>) id 1wNQM6-00000006t2A-1w2i; Thu, 14 May 2026 07:19:38 +0000 From: Debian FTP Masters <ftpmaster@ftp-master.debian.org> Reply-To: Adrian Bunk <bunk@debian.org> To: 1084002-close@bugs.debian.org X-DAK: dak process-upload X-Debian: DAK X-Debian-Package: z3 Debian: DAK Debian-Changes: z3_4.13.3-1.1_source.changes Debian-Source: z3 Debian-Version: 4.13.3-1.1 Debian-Architecture: source Debian-Suite: unstable Debian-Archive-Action: accept MIME-Version: 1.0 Subject: Bug#1084002: fixed in z3 4.13.3-1.1 Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="===============1091630124568182829==" Message-Id: <E1wNQM6-00000006t2A-1w2i@fasolo.debian.org> Date: Thu, 14 May 2026 07:19:38 +0000 --===============1091630124568182829== Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Source: z3 Source-Version: 4.13.3-1.1 Done: Adrian Bunk <bunk@debian.org> We believe that the bug you reported is fixed in the latest version of z3, 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 1084002@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Adrian Bunk <bunk@debian.org> (supplier of updated z3 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 ftpmaster@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 04 May 2026 15:38:14 +0300 Source: z3 Architecture: source Version: 4.13.3-1.1 Distribution: unstable Urgency: medium Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> Changed-By: Adrian Bunk <bunk@debian.org> Closes: 1084002 Changes: z3 (4.13.3-1.1) unstable; urgency=3Dmedium . * Non-maintainer upload. * python3-z3: Remove the stale dependency on python3-pkg-resources. (Closes: #1084002) Checksums-Sha1: b571ddd121219dba434730f9d0b7da3b43824aa6 2771 z3_4.13.3-1.1.dsc 840ebb7b413f4f6f043a6a9fb7db5385bfe6a256 10736 z3_4.13.3-1.1.debian.tar.xz Checksums-Sha256: bb66bb2f30637edf5190615ce136283db113560defcbd1d6de8050cff2c88b2d 2771 z3_4.1= 3.3-1.1.dsc a54785a60a5130417b1cebaa4dac8a572fea550c32e52317f4fccd5c6db36936 10736 z3_4.= 13.3-1.1.debian.tar.xz Files: ff5ba6202eaad9fa6a3614ad8e290ae3 2771 science optional z3_4.13.3-1.1.dsc ef286bfdaae4759ca2ab4214318ccc07 10736 science optional z3_4.13.3-1.1.debian= .tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAmn4l3wACgkQiNJCh6LY mLFklQ//TDqYOteznyqE3gcqqkfZ+KRWOkW4543hehP1l+rkIghAKMybIZ4t2kVi DX/qyCM4wgrGipEnv8CcJb2UDIOC/zfylRMuikQQY2+WXGzPeK12hXgeUsExWzFn f+U9HP0A/dPm/mfTYss5ZzfYmuxRf2inR0YnoxDHozgpYIz5pn1intRd28zrjbBr avJeNB71EIESm9IjhTSaAIIpNwqoK3FiiWup68ISkxFTEkL6sXg+o/GPsA1cW1cw o4JmFf1WsQ7aw2H6qKhNI6L77GRzjiQpIFPbsqUiGEyi6pscC1wm5vMyx93n+o+r MpoIo1qAN0J5eXHtXIEo0l9aZcdVmxBM750NJWBSb9ZrjiCM8YmnHe+2MSddaDnd UsjL5Wwlutz8eOVvAc94cvHcli+9hAObNJfdesJw9cAYcqqY8D1TacVf/KvSsd8p fDTvyqu/Kq7v0K/uuPR1ri+VLKTTbrj4HBqoGB6TaYEJy6+K8gPsuETKngv5eDgb Xg6D2rEjarsdZv4YHb39iLwUlHsqSL1vJ6gWexZ81l8gBznLLQsLeok91eKjVHLY cc6WYNNPaESIB5el9QjfTQuqLC6WtaDjA4zdfh3mcUqC65wFo6pc/8/mnv7DGCCD QHYity0nGh4t0aBp9vEs317cxtwJNlqYyyovyDpg0c0ofztizGU=3D =3DuG9Y -----END PGP SIGNATURE----- --===============1091630124568182829== Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCagV3igAKCRCb9qggYcy5 IWWEAQCnDO/20ODaYftJiSOOtWmoNNLIJmv4UXFLYSHc6/T8gAD9E8kt/De/LAtX VWC8sbHZEl8Q7lMmmAlfkfN7NbPGSwg= =eAs3 -----END PGP SIGNATURE----- --===============1091630124568182829==-- ]