mirrors/buildroot
0
0
Fork 0
mirror of https://git.busybox.net/buildroot.git synced 2025-01-09 14:03:26 +08:00
Code Issues Packages Projects Releases Wiki Activity

package/z3: bump to version 4.12.1

Browse Source 
For change log since v4.12.0, see:
- https://github.com/Z3Prover/z3/releases/tag/z3-4.12.1

Signed-off-by: Julien Olivain <ju.o@free.fr>
Signed-off-by: Yann E. MORIN <yann.morin.1998@free.fr>
This commit is contained in:
Julien Olivain 2023-02-05 14:03:55 +01:00 committed by Yann E. MORIN
parent 1f618aa388
commit 5a7b1b913e
2 changed files with 2 additions and 2 deletions
Show Stats 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 5f575f0a3950760436217da1cc1a714569b6d4f664a75bb6775876328cf0a580 z3-4.12.0.tar.gz
sha256 a3735fabf00e1341adcc70394993c05fd3e2ae167a3e9bb46045e33084eb64a3 z3-4.12.1.tar.gz
sha256 e617cad2ab9347e3129c2b171e87909332174e17961c5c3412d0799469111337 LICENSE.txt

2
package/z3/z3.mk
View File

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