From patchwork Mon Jan 16 18:43:48 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Julien Olivain X-Patchwork-Id: 1727203 Return-Path: X-Original-To: incoming-buildroot@patchwork.ozlabs.org Delivered-To: patchwork-incoming-buildroot@legolas.ozlabs.org Authentication-Results: legolas.ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=buildroot.org (client-ip=2605:bc80:3010::133; helo=smtp2.osuosl.org; envelope-from=buildroot-bounces@buildroot.org; receiver=) Received: from smtp2.osuosl.org (smtp2.osuosl.org [IPv6:2605:bc80:3010::133]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-384) server-digest SHA384) (No client certificate requested) by legolas.ozlabs.org (Postfix) with ESMTPS id 4Nwgsn0Rm2z23fT for ; Tue, 17 Jan 2023 05:44:11 +1100 (AEDT) Received: from localhost (localhost [127.0.0.1]) by smtp2.osuosl.org (Postfix) with ESMTP id B29A840B88; Mon, 16 Jan 2023 18:44:08 +0000 (UTC) DKIM-Filter: OpenDKIM Filter v2.11.0 smtp2.osuosl.org B29A840B88 X-Virus-Scanned: amavisd-new at osuosl.org Received: from smtp2.osuosl.org ([127.0.0.1]) by localhost (smtp2.osuosl.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id M6_t75PO2U3U; Mon, 16 Jan 2023 18:44:08 +0000 (UTC) Received: from ash.osuosl.org (ash.osuosl.org [140.211.166.34]) by smtp2.osuosl.org (Postfix) with ESMTP id F0BF740B84; Mon, 16 Jan 2023 18:44:06 +0000 (UTC) DKIM-Filter: OpenDKIM Filter v2.11.0 smtp2.osuosl.org F0BF740B84 X-Original-To: buildroot@lists.busybox.net Delivered-To: buildroot@osuosl.org Received: from smtp1.osuosl.org (smtp1.osuosl.org [140.211.166.138]) by ash.osuosl.org (Postfix) with ESMTP id D6F171BF3D6 for ; Mon, 16 Jan 2023 18:44:04 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by smtp1.osuosl.org (Postfix) with ESMTP id B249E81DE2 for ; Mon, 16 Jan 2023 18:44:04 +0000 (UTC) DKIM-Filter: OpenDKIM Filter v2.11.0 smtp1.osuosl.org B249E81DE2 X-Virus-Scanned: amavisd-new at osuosl.org Received: from smtp1.osuosl.org ([127.0.0.1]) by localhost (smtp1.osuosl.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id fplyDzIAeUQj for ; Mon, 16 Jan 2023 18:44:02 +0000 (UTC) X-Greylist: domain auto-whitelisted by SQLgrey-1.8.0 DKIM-Filter: OpenDKIM Filter v2.11.0 smtp1.osuosl.org 9A5B88195C Received: from smtp4-g21.free.fr (smtp4-g21.free.fr [IPv6:2a01:e0c:1:1599::13]) by smtp1.osuosl.org (Postfix) with ESMTPS id 9A5B88195C for ; Mon, 16 Jan 2023 18:44:01 +0000 (UTC) Received: from b52572-12.ea.freescale.net.net (unknown [37.167.132.245]) (Authenticated sender: ju.o@free.fr) by smtp4-g21.free.fr (Postfix) with ESMTPSA id 1EF1A19F59E; Mon, 16 Jan 2023 19:43:57 +0100 (CET) From: Julien Olivain To: buildroot@buildroot.org Date: Mon, 16 Jan 2023 19:43:48 +0100 Message-Id: <20230116184348.7593-1-ju.o@free.fr> X-Mailer: git-send-email 2.39.0 MIME-Version: 1.0 X-Mailman-Original-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=free.fr; s=smtp-20201208; t=1673894638; bh=Upyqh8LZJc3Qj9DnLiKvwMI+sA5diHQ/95tERITVFV0=; h=From:To:Cc:Subject:Date:From; b=pDPJmPvm2LFTrqqGvtDf72xnItYhG+HJ3jE2DQxeBgxFEkaN++bczzodKdQ0VOjvq Hbf0ETPSilzA/xVQGeFHerSfV+OggJBgC5oUOjBZcI+Sn16N9Mca3WFcVgxyTqmPel p6jaJ36l+/MUtVX48J0bW9FYnWXKu6DHcABB8F9SA5OgjtY93HUZFJVLxB3+k3RgDm r0aowrjKMEseQNSZTa1K72T3jayq1fNeid97Ye5TNbZmx6F+fekHwHjX+1ffuLbKUK 6UTQo+QDQx4hm5b3KUiVbwJv6+sMjHgXTVeXMTVHvIvgYlIr56MqlQt+2qQoa4pFON k43e0L2qJ4q1w== X-Mailman-Original-Authentication-Results: smtp1.osuosl.org; dkim=pass (2048-bit key) header.d=free.fr header.i=@free.fr header.a=rsa-sha256 header.s=smtp-20201208 header.b=pDPJmPvm Subject: [Buildroot] [PATCH 1/1] package/z3: bump to version 4.12.0 X-BeenThere: buildroot@buildroot.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Discussion and development of buildroot List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Julien Olivain Errors-To: buildroot-bounces@buildroot.org Sender: "buildroot" For change log since v4.11.2, see: - https://github.com/Z3Prover/z3/releases/tag/z3-4.12.0 Signed-off-by: Julien Olivain --- Patch tested on branch master at commit 627c38c with commands: make check-package ... 0 warnings generated support/testing/run-tests \ -d dl -o output_folder \ tests.package.test_z3.TestZ3 ... OK ./utils/test-pkg -a -p z3 ... 44 builds, 26 skipped, 0 build failed, 0 legal-info failed, 0 show-info failed --- package/z3/z3.hash | 2 +- package/z3/z3.mk | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/z3/z3.hash b/package/z3/z3.hash index d38c5f1971..517e2f4923 100644 --- a/package/z3/z3.hash +++ b/package/z3/z3.hash @@ -1,3 +1,3 @@ # Locally calculated -sha256 e3a82431b95412408a9c994466fad7252135c8ed3f719c986cd75c8c5f234c7e z3-4.11.2.tar.gz +sha256 5f575f0a3950760436217da1cc1a714569b6d4f664a75bb6775876328cf0a580 z3-4.12.0.tar.gz sha256 e617cad2ab9347e3129c2b171e87909332174e17961c5c3412d0799469111337 LICENSE.txt diff --git a/package/z3/z3.mk b/package/z3/z3.mk index 2252e05395..ecd79325dc 100644 --- a/package/z3/z3.mk +++ b/package/z3/z3.mk @@ -4,7 +4,7 @@ # ################################################################################ -Z3_VERSION = 4.11.2 +Z3_VERSION = 4.12.0 Z3_SITE = $(call github,Z3Prover,z3,z3-$(Z3_VERSION)) Z3_LICENSE = MIT Z3_LICENSE_FILES = LICENSE.txt