* [Buildroot] [PATCH 1/1] package/z3: bump to version 4.15.2
@ 2025-07-22 17:58 Julien Olivain via buildroot
2025-07-28 21:02 ` Thomas Petazzoni via buildroot
0 siblings, 1 reply; 2+ messages in thread
From: Julien Olivain via buildroot @ 2025-07-22 17:58 UTC (permalink / raw)
To: buildroot; +Cc: Julien Olivain
For change log since 4.15.1, see:
https://github.com/Z3Prover/z3/blob/z3-4.15.2/RELEASE_NOTES.md#version-4152
Signed-off-by: Julien Olivain <ju.o@free.fr>
---
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 a6a421b4e7..a9d1da901a 100644
--- a/package/z3/z3.hash
+++ b/package/z3/z3.hash
@@ -1,3 +1,3 @@
# Locally calculated
-sha256 ebf6eed5f2cb217d62abddaa94526189ae40bf3c415fb9c2e2128e099f16fda0 z3-4.15.1.tar.gz
+sha256 3486bf5b35b185981cab0b0a81f870547648a1ca433085aa79afd17c44959751 z3-4.15.2.tar.gz
sha256 e617cad2ab9347e3129c2b171e87909332174e17961c5c3412d0799469111337 LICENSE.txt
diff --git a/package/z3/z3.mk b/package/z3/z3.mk
index 22947e93cc..fe52167e1e 100644
--- a/package/z3/z3.mk
+++ b/package/z3/z3.mk
@@ -4,7 +4,7 @@
#
################################################################################
-Z3_VERSION = 4.15.1
+Z3_VERSION = 4.15.2
Z3_SITE = $(call github,Z3Prover,z3,z3-$(Z3_VERSION))
Z3_LICENSE = MIT
Z3_LICENSE_FILES = LICENSE.txt
--
2.50.1
_______________________________________________
buildroot mailing list
buildroot@buildroot.org
https://lists.buildroot.org/mailman/listinfo/buildroot
^ permalink raw reply related [flat|nested] 2+ messages in thread
* Re: [Buildroot] [PATCH 1/1] package/z3: bump to version 4.15.2
2025-07-22 17:58 [Buildroot] [PATCH 1/1] package/z3: bump to version 4.15.2 Julien Olivain via buildroot
@ 2025-07-28 21:02 ` Thomas Petazzoni via buildroot
0 siblings, 0 replies; 2+ messages in thread
From: Thomas Petazzoni via buildroot @ 2025-07-28 21:02 UTC (permalink / raw)
To: Julien Olivain via buildroot; +Cc: Julien Olivain
On Tue, 22 Jul 2025 19:58:58 +0200
Julien Olivain via buildroot <buildroot@buildroot.org> wrote:
> For change log since 4.15.1, see:
> https://github.com/Z3Prover/z3/blob/z3-4.15.2/RELEASE_NOTES.md#version-4152
>
> Signed-off-by: Julien Olivain <ju.o@free.fr>
Reviewed-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Thomas
--
Thomas Petazzoni, co-owner and CEO, Bootlin
Embedded Linux and Kernel engineering and training
https://bootlin.com
_______________________________________________
buildroot mailing list
buildroot@buildroot.org
https://lists.buildroot.org/mailman/listinfo/buildroot
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2025-07-28 21:03 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2025-07-22 17:58 [Buildroot] [PATCH 1/1] package/z3: bump to version 4.15.2 Julien Olivain via buildroot
2025-07-28 21:02 ` Thomas Petazzoni via buildroot
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.