NetCube-Systems-Austria/kumquat-buildroot
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

package/z3: bump to version 4.12.0

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

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-01-16 19:43:48 +01:00 committed by Yann E. MORIN
parent 627c38caf0
commit 8eef1e1488
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 e3a82431b95412408a9c994466fad7252135c8ed3f719c986cd75c8c5f234c7e z3-4.11.2.tar.gz
sha256 5f575f0a3950760436217da1cc1a714569b6d4f664a75bb6775876328cf0a580 z3-4.12.0.tar.gz
sha256 e617cad2ab9347e3129c2b171e87909332174e17961c5c3412d0799469111337 LICENSE.txt

2
package/z3/z3.mk
View File

@ -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