* [Buildroot] [PATCH 1/1] package/z3: bump to version 4.13.3
@ 2024-10-28 22:56 Julien Olivain
2024-10-29 18:41 ` Thomas Petazzoni via buildroot
0 siblings, 1 reply; 2+ messages in thread
From: Julien Olivain @ 2024-10-28 22:56 UTC (permalink / raw)
To: buildroot; +Cc: Julien Olivain
For change log since 4.13.2, see:
https://github.com/Z3Prover/z3/blob/z3-4.13.3/RELEASE_NOTES.md#version-4133
Signed-off-by: Julien Olivain <ju.o@free.fr>
---
Patch runtime tested in:
https://gitlab.com/jolivain/buildroot/-/jobs/8209936599
---
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 f138f39de6..8514043594 100644
--- a/package/z3/z3.hash
+++ b/package/z3/z3.hash
@@ -1,3 +1,3 @@
# Locally calculated
-sha256 fd7dc6dd2633074f0a47670d6378b0e5c28c2c26f2b58aa23e9cd7f0bc9ba0dc z3-4.13.2.tar.gz
+sha256 f59c9cf600ea57fb64ffeffbffd0f2d2b896854f339e846f48f069d23bc14ba0 z3-4.13.3.tar.gz
sha256 e617cad2ab9347e3129c2b171e87909332174e17961c5c3412d0799469111337 LICENSE.txt
diff --git a/package/z3/z3.mk b/package/z3/z3.mk
index 4763b1cc78..16db30ac21 100644
--- a/package/z3/z3.mk
+++ b/package/z3/z3.mk
@@ -4,7 +4,7 @@
#
################################################################################
-Z3_VERSION = 4.13.2
+Z3_VERSION = 4.13.3
Z3_SITE = $(call github,Z3Prover,z3,z3-$(Z3_VERSION))
Z3_LICENSE = MIT
Z3_LICENSE_FILES = LICENSE.txt
--
2.47.0
_______________________________________________
buildroot mailing list
buildroot@buildroot.org
https://lists.buildroot.org/mailman/listinfo/buildroot
^ permalink raw reply related [flat|nested] 2+ messages in thread
end of thread, other threads:[~2024-10-29 18:41 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-10-28 22:56 [Buildroot] [PATCH 1/1] package/z3: bump to version 4.13.3 Julien Olivain
2024-10-29 18:41 ` 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.