aboutsummaryrefslogtreecommitdiffstats
path: root/community/z3
diff options
context:
space:
mode:
authorSören Tempel <soeren+git@soeren-tempel.net>2018-11-22 22:44:51 +0100
committerSören Tempel <soeren+git@soeren-tempel.net>2018-11-22 23:06:27 +0100
commit3894c9fde1ee0835b2d0739085dd09bcb9a56429 (patch)
tree6c6899bd4e61cd6c60274ad6ab18f9ff3afa9090 /community/z3
parent2a54a31c70d47505766c1fda5691d85491995066 (diff)
downloadaports-3894c9fde1ee0835b2d0739085dd09bcb9a56429.tar.bz2
aports-3894c9fde1ee0835b2d0739085dd09bcb9a56429.tar.xz
community/z3: upgrade to 4.8.3
Diffstat (limited to 'community/z3')
-rw-r--r--community/z3/APKBUILD6
1 files changed, 3 insertions, 3 deletions
diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD
index 4ac0546e8a..3e1efb02d2 100644
--- a/community/z3/APKBUILD
+++ b/community/z3/APKBUILD
@@ -1,8 +1,8 @@
# Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net>
# Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net>
pkgname=z3
-pkgver=4.7.1
-pkgrel=1
+pkgver=4.8.3
+pkgrel=0
pkgdesc="Theorem prover from Microsoft Research"
url="https://github.com/Z3Prover/z3"
arch="all !s390x !aarch64"
@@ -54,5 +54,5 @@ py3() {
"$subpkgdir"/usr/lib/
}
-sha512sums="4c8c856691134298c4b5e465d6fadfe446532dfcd8c92aed7c9a6bbfc8557074a45cd7316dbfa5045824e2504db159afeb8ff676d4bfc942496623cf31d11aa0 z3-4.7.1.tar.gz
+sha512sums="34a2dca0083ed469fdaf5ac062dda26248633245607ddd9ef90629c5f76ae30f87bfa4191c04ba9be7a617bf182a1bd00b59fd2274699e12ece69b86088c8044 z3-4.8.3.tar.gz
3d019959a104b5fd5f72eeb3738cacbdb145764ad4844eeb2539b36fa3a8228ffa062a0899465d4881b6c226301aa09b129ef06a798744b2eec9f943e0d9d366 fix-ppc64le-ptr-size.patch"