diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2018-11-22 22:44:51 +0100 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2018-11-22 23:06:27 +0100 |
| commit | 3894c9fde1ee0835b2d0739085dd09bcb9a56429 (patch) | |
| tree | 6c6899bd4e61cd6c60274ad6ab18f9ff3afa9090 /community/z3/APKBUILD | |
| parent | 2a54a31c70d47505766c1fda5691d85491995066 (diff) | |
| download | aports-3894c9fde1ee0835b2d0739085dd09bcb9a56429.tar.bz2 aports-3894c9fde1ee0835b2d0739085dd09bcb9a56429.tar.xz | |
community/z3: upgrade to 4.8.3
Diffstat (limited to 'community/z3/APKBUILD')
| -rw-r--r-- | community/z3/APKBUILD | 6 |
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" |