[From nobody Mon May  4 13:49:05 2026
Received: (at submit) by bugs.debian.org; 15 Jul 2022 15:50:22 +0000
X-Spam-Checker-Version: SpamAssassin 3.4.2-bugs.debian.org_2005_01_02
 (2018-09-13) on buxtehude.debian.org
X-Spam-Level: 
X-Spam-Status: No, score=-16.6 required=4.0 tests=BAYES_00,DKIM_SIGNED,
 DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HAS_PACKAGE,
 RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham
 autolearn_force=no version=3.4.2-bugs.debian.org_2005_01_02
X-Spam-Bayes: score:0.0000 Tokens: new, 5; hammy, 108; neutral, 23; spammy, 0.
 spammytokens: hammytokens:0.000-+--H*u:Evolution,
 0.000-+--H*r:TLS1_3, 
 0.000-+--H*F:U*julien.puydt, 0.000-+--H*rp:U*julien.puydt,
 0.000-+--H*M:camel
Return-path: <julien.puydt@gmail.com>
Received: from mail-wm1-x32a.google.com ([2a00:1450:4864:20::32a]:47011)
 by buxtehude.debian.org with esmtps (TLS1.3:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.92) (envelope-from <julien.puydt@gmail.com>)
 id 1oCNaA-0000cJ-Kb
 for submit@bugs.debian.org; Fri, 15 Jul 2022 15:50:22 +0000
Received: by mail-wm1-x32a.google.com with SMTP id
 h14-20020a1ccc0e000000b0039eff745c53so3254233wmb.5
 for <submit@bugs.debian.org>; Fri, 15 Jul 2022 08:50:21 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112;
 h=message-id:subject:from:to:date:content-transfer-encoding
 :user-agent:mime-version;
 bh=Xdh8r7qNPpWGahPGUw2coq3E3WS8suP7jbe/FKHCmvI=;
 b=bpkiJHSgbsEIdyfqBj0RC/nuTmuWeA1RBHqpHRmuFqJub6yohchg7RhaMw+VHSrg8W
 cUy1BGrRZU2HNftP3adWIsLbRjEv74Zx+rQcqHeGz7zPeFJ3o1lTPalXhq4sKbAUieOa
 UqnVjIkT3tg8BXFL+oqOxm21M1ArMaHidFWCkGsxBwvLDv7W6x/pkXtpnGRpTL4MeUm6
 Dd7S6k3DLPF6HpEbmr/HQt2WcjrzQR1/tEG5gMaBpv2FJB3CxoJ+zvkrxIkZfllkD4pD
 oW9YOJiRX3v0a6i39Mn43dcmRaNQez4Oh0tpj2BUATRlty+GVmzDf1k+3RG2rRwNLl24
 tKCQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20210112;
 h=x-gm-message-state:message-id:subject:from:to:date
 :content-transfer-encoding:user-agent:mime-version;
 bh=Xdh8r7qNPpWGahPGUw2coq3E3WS8suP7jbe/FKHCmvI=;
 b=eDjmMvOSNU1VdK20nmHhju0JqWa2mb/4xq7/essgdmtUVH11Gsq1idT/hFshVcTq25
 TLDomHZiBBGm/rSPlVK9XoHBIKES+4CT/aNvDYBc1U+nO3pFr/WUyNeyvC3m0kgZgQXb
 z8PHtmoG2cjAmrayK51dfoOG8uIfD5OdGvSCV+zv9gltRZWKuOtlXTB/w5u1Svdw0tKE
 Pf85TbxZPZ8xVzWeI/iTF2FLd9ydUCbMHOcdsmTTbQDi4pQQWIPrUS1HqXx5a6RxjoLg
 UXYrx5Mv5FiID5nGshXnOwt+vcZARnewaDUIG1F5Dr/8f9vub0KLB1r/C6DLK/Khu0zM
 EEMA==
X-Gm-Message-State: AJIora8TjCLkz+2I+oIwco87ONEatK5kNwZxSdcsbrW/acdR2qJUzDEe
 SEw0MUrRql4cTXPjqGv+x8GyVDQLpP8=
X-Google-Smtp-Source: AGRyM1v1XLD4q2fkYj0gXcKnegwzYYKUpTSU7KnnTybbw9iug9oK2xPQBMTTDubEqOzk/inY5ZpDUQ==
X-Received: by 2002:a05:600c:22d3:b0:3a2:d8e2:8f15 with SMTP id
 19-20020a05600c22d300b003a2d8e28f15mr20546802wmg.177.1657900219700; 
 Fri, 15 Jul 2022 08:50:19 -0700 (PDT)
Received: from alibert.home ([2a01:cb15:844a:9600:1c93:65cb:91e4:c990])
 by smtp.gmail.com with ESMTPSA id
 l13-20020a05600c2ccd00b003a2f2bb72d5sm9511349wmc.45.2022.07.15.08.50.19
 for <submit@bugs.debian.org>
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Fri, 15 Jul 2022 08:50:19 -0700 (PDT)
Message-ID: <ec6f171a4257797eacba4e924565a1dacb468779.camel@gmail.com>
Subject: Please update to newer upstream
From: julien.puydt@gmail.com
To: submit@bugs.debian.org
Date: Fri, 15 Jul 2022 17:50:18 +0200
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
User-Agent: Evolution 3.44.2-1 
MIME-Version: 1.0
Delivered-To: submit@bugs.debian.org

Package: z3
Version: 4.8.12-1
Severity: wishlist

A few new versions have been published by upstream ; can you update the
Debian package?

Thanks,

J.Puydt
]