[From nobody Mon May 4 13:49:06 2026 Received: (at submit) by bugs.debian.org; 15 Jun 2024 05:14:02 +0000 X-Spam-Checker-Version: SpamAssassin 3.4.6-bugs.debian.org_2005_01_02 (2021-04-09) on buxtehude.debian.org X-Spam-Level: X-Spam-Status: No, score=-17.2 required=4.0 tests=BAYES_00, BODY_INCLUDES_PACKAGE,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU, DKIM_VALID_EF,HAS_PACKAGE,PGPSIGNATURE,RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_PASS, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6-bugs.debian.org_2005_01_02 X-Spam-Bayes: score:0.0000 Tokens: new, 17; hammy, 115; neutral, 33; spammy, 2. spammytokens:0.988-+--buy, 0.857-+--website hammytokens:0.000-+--H*u:Evolution, 0.000-+--H*ct:application, 0.000-+--H*ct:protocol, 0.000-+--H*ct:micalg, 0.000-+--H*ct:signed Return-path: <philip.wyett@kathenas.org> Received: from fuchsia.ash.relay.mailchannels.net ([23.83.222.64]:23051) by buxtehude.debian.org with esmtps (TLS1.3:ECDHE_X25519__RSA_PSS_RSAE_SHA256__AES_256_GCM:256) (Exim 4.94.2) (envelope-from <philip.wyett@kathenas.org>) id 1sILjk-00FwGO-Q2 for submit@bugs.debian.org; Sat, 15 Jun 2024 05:14:02 +0000 X-Sender-Id: 9wt3zsp42r|x-authuser|philip.wyett@kathenas.org Received: from relay.mailchannels.net (localhost [127.0.0.1]) by relay.mailchannels.net (Postfix) with ESMTP id 012D710223B for <submit@bugs.debian.org>; Sat, 15 Jun 2024 05:13:58 +0000 (UTC) Received: from trunks-lon.krystal.uk (unknown [127.0.0.6]) (Authenticated sender: 9wt3zsp42r) by relay.mailchannels.net (Postfix) with ESMTPA id A639D1021BD for <submit@bugs.debian.org>; Sat, 15 Jun 2024 05:13:56 +0000 (UTC) ARC-Seal: i=1; s=arc-2022; d=mailchannels.net; t=1718428437; a=rsa-sha256; cv=none; b=JBafg237QR1k6BsFQiXwFRQbyi73x0VGqKuVBIF7gaeNMnAgbr7H4dUWaTzF/XZoItOvlQ S/c/1TI+ucPWSItzX4MZvDusbXCUVieSU952C0B6DIwp6bCkmLz8L46cyAtlq6MUN8g1k7 09hKf5hD5sUoxCXgoS0sxvIUG1ANtZ0SiK/RZ/mTlvWxv7llsrCS99B/wckfrRres82xLr KfEPknbnsiA58Ls3bgpKRTjc+GiZIHRm+qTpiK2r6tpi9TFuL7sm7AeGEUMLgJSnncLYeV dN7zmn0STIBg/NyNETQeK11YzFCpa6bRQA6zSMvbQe4zZUEhAT0+cUhWzUGIBQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=mailchannels.net; s=arc-2022; t=1718428437; h=from:from:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:dkim-signature; bh=ZXn9zT8Ggehjvsthpia6GMlPOc/zgxxSpRaoXdd68Vc=; b=LZAL0PRqbJTrN8Tn+SgqRupvp3ERdki+hl6mkWl6ortM5gUBsazvqX1lIY+Ex1rk53BFZP sK44d/a2PESvb7U6JyurNzcG4iPcLOk1tIo6dg0cEOenqw9hSlpnHAclXDryQnoUWgNolr H3nsD0V/UVmwoP5cxRZJQS+s2R92YumFIuX6zdmeAXqLLLWXgqKvn86PqAHuk3DrDCS/pF 6VVVctBvjUV4r2Nk2mA95Z5THv3s+nT1e9Ck80NMUrqS31EWlkR7J5q4bk3RocAULWpMb8 uVZ58byrWIrzV2nQVZaenrpf6nsN2zdjv/If2iFL0L1zva1JMdsbfm0u56fMjQ== ARC-Authentication-Results: i=1; rspamd-7f76976655-224z4; auth=pass smtp.auth=9wt3zsp42r smtp.mailfrom=philip.wyett@kathenas.org X-Sender-Id: 9wt3zsp42r|x-authuser|philip.wyett@kathenas.org X-MC-Relay: Neutral X-MailChannels-SenderId: 9wt3zsp42r|x-authuser|philip.wyett@kathenas.org X-MailChannels-Auth-Id: 9wt3zsp42r X-Army-Bottle: 55b191455776327b_1718428437358_3017246224 X-MC-Loop-Signature: 1718428437358:1389795903 X-MC-Ingress-Time: 1718428437358 Received: from trunks-lon.krystal.uk (trunks-lon.krystal.uk [185.194.90.7]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384) by 100.113.249.79 (trex/6.9.2); Sat, 15 Jun 2024 05:13:57 +0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=kathenas.org; s=default; h=MIME-Version:Date:Content-Type:To:Reply-To:From: Subject:Message-ID:Content-Transfer-Encoding:Sender:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=ZXn9zT8Ggehjvsthpia6GMlPOc/zgxxSpRaoXdd68Vc=; b=DAV9VOIkKLJQiefAvxAOfklXcU b9PBinw+w6tC6Q/ugJusgTu3GsMsJSorDCjOc/EqG9RB60FPbd0pKe6bIIDbSxDKkmQY8nCeO4+Nk 20l+VXcf0LPPjgMP8gFrmWdZuh6ml5gqlOY/h7L5cbFJxEITKgbBfZqJNSRHuz146FlqSZfi5ecLW g61NTmK0dAKU6fuA1nEICUiYvheWDlT7FIxUBDuotqHxS/NCKOhMISfmn/yIlwIKfRy7Hh/MnOE4N KGKvOXk5ZrJLGztKMPEv6Acr+brNhdijOJ8ft1b/+T+o9w/NkWYYHxVZsCzxgn3tjqrF2IWZRUmPA 90vcP2Zg==; Received: from [90.216.100.124] (port=34556 helo=ks-kenobi) by trunks-lon.krystal.uk with esmtpsa (TLS1.3) tls TLS_AES_256_GCM_SHA384 (Exim 4.96.2) (envelope-from <philip.wyett@kathenas.org>) id 1sILje-00ElXN-2t for submit@bugs.debian.org; Sat, 15 Jun 2024 06:13:54 +0100 Message-ID: <07fcb23d6431d07fdce43dcf81c40592565948c7.camel@kathenas.org> Subject: Update 'z3' to latest version - 4.13.0. From: Phil Wyett <philip.wyett@kathenas.org> Reply-To: philip.wyett@kathenas.org To: submit@bugs.debian.org Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-EOUS5hHusfL2CnQd7rl7" Date: Sat, 15 Jun 2024 06:13:50 +0100 MIME-Version: 1.0 User-Agent: Evolution 3.36.5-0ubuntu1 X-AuthUser: philip.wyett@kathenas.org Delivered-To: submit@bugs.debian.org --=-EOUS5hHusfL2CnQd7rl7 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Package: z3 Severity: important Dear Maintainer, Please kindly update z3 to the latest upstream version 4.13.0 if possible f= rom current that is 4.8.12. Regards Phil --=20 Website: https://kathenas.org Instagram: https://instagram.com/kathenasorg/ Buy Me A Coffee: https://buymeacoffee.com/kathenasorg --=-EOUS5hHusfL2CnQd7rl7 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part -----BEGIN PGP SIGNATURE----- iQJOBAABCgA4FiEEcKCsRax3nv6E9jrtckqptS8CTIsFAmZtIwMaHHBoaWxpcC53 eWV0dEBrYXRoZW5hcy5vcmcACgkQckqptS8CTItk2Q/8DVEz0ErPg30VBHHLUFBs /xyzgk99AdcPzHIaJEw73Cg8JlGP/mEt9YulahksRNQNXv55FFW/9TsQYB0ABtDl QkIlKhMWbtxQ1QdhI29rZi1Qjd3PLbI5hWejhbpni27xQ4c3ZDkOyo2xCItWeqgf CKuJl1ILtoT06a9yPD/1WjcyT6WuBaF4uTsViazHBlWRrN76VN61xwbYWD1Q5GPO P5dhy73X3H1bNJzs3DDZaZs3EHJmGWLNdS7OAZ/S0uoJL2cEe5ldPeglbFITFD0S vEphud7JMEw+Za22LeuFGdJDoM5hDYLeYNv38Jvb/UaYAfgz87i88f47y3z9H0Od EZ7yxHFkMpgzT1xjzdAGE29CNuiEaJ+QF6oYoNjH1J+v4CTCDAu03S6/el7KS1AV TRUrB19qRAD6adHKsqwbmGhIkfA2zy44mToJs9DOFO+zMAbVYCsRJ2OrnC47AXcO 86imvK4nqiZ7ynt+6IR9X9j5I6/+5yi2ysTz8xPfjmIZ28IbI1CKyOwzhnJuqRei gSgBqSsAumWPkgLRAehMzHa8azY6RStc4//jBhdgDuxzEgzbASRF5XUKpf1c0NIw eskh7xH/OhMLT1W9zFpKUJL9KcrebmpHoogXlHMsU90Itnd9lCp6UFnUY6H0FuEp /DokWz6GKnGYGO6tL6KdJWU= =32wm -----END PGP SIGNATURE----- --=-EOUS5hHusfL2CnQd7rl7-- ]