mirror/buildroot
1
0
Fork 0
mirror of https://gitlab.com/buildroot.org/buildroot.git synced 2026-08-08 08:30:47 -09:00
Code Issues Packages Projects Releases Wiki Activity

package/z3: bump to version 4.16.0

Browse Source 
For change log since 4.15.2, see:
https://github.com/Z3Prover/z3/blob/z3-4.16.0/RELEASE_NOTES.md#version-4160

Signed-off-by: Julien Olivain <ju.o@free.fr>
This commit is contained in:
Julien Olivain
2026-04-18 21:11:19 +02:00
parent 59f9c25d70
commit e14a4b9fb4
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
package/z3/z3.hash
View File

@@ -1,3 +1,3 @@
# Locally calculated
sha256 3486bf5b35b185981cab0b0a81f870547648a1ca433085aa79afd17c44959751 z3-4.15.2.tar.gz
sha256 c68c3e5e4810b16126b8cb4c47eee85c1ac3e24a81914c8e371b40de9dd33ac7 z3-4.16.0.tar.gz
sha256 e617cad2ab9347e3129c2b171e87909332174e17961c5c3412d0799469111337 LICENSE.txt

2
package/z3/z3.mk
View File

@@ -4,7 +4,7 @@
#
################################################################################
Z3_VERSION = 4.15.2
Z3_VERSION = 4.16.0
Z3_SITE = $(call github,Z3Prover,z3,z3-$(Z3_VERSION))
Z3_LICENSE = MIT
Z3_LICENSE_FILES = LICENSE.txt