Befator-Inc-Firmen-Netzwerk/MINGW-packages
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 1 Wiki Activity

z3: update to 4.13.0 (#20572)

Browse Source
This commit is contained in:
Suyun 2024-04-07 00:19:36 +08:00 committed by GitHub
parent cb6720c7ff
commit a974a11a77
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
mingw-w64-z3/PKGBUILD
View File

@ -3,7 +3,7 @@
_realname=z3
pkgbase=mingw-w64-${_realname}
pkgname=("${MINGW_PACKAGE_PREFIX}-${_realname}")
pkgver=4.12.5
pkgver=4.13.0
pkgrel=1
pkgdesc="Z3 is a high-performance theorem prover being developed at Microsoft Research (mingw-w64)"
arch=('any')
@ -20,7 +20,7 @@ source=("https://github.com/Z3Prover/z3/archive/z3-${pkgver}.tar.gz"
001-mingw-fixes.patch
003-fix-dll-exports.patch
004-fix-python-bindings-install.patch)
sha256sums=('70e211e0a8e77febccc51865e45111066f623356a4ef0b527c3597362bc6db72'
sha256sums=('01bcc61c8362e37bb89fd2430f7e3385e86df7915019bd2ce45de9d9bd934502'
'dff9754409a077d0ae49f1bfb2404bd5b318d301273844a80649a9e20e61e2fa'
'ce01668afae8e60c32a0d7937d3f8f67a7dc23aa4270913d157e676d061dfe6a'
'a1c96b734e71d4cffc5d55f8a9ed5cc823ac87a8fcb6691a84a23a201398a398')