diff options
Diffstat (limited to 'community/z3/APKBUILD')
-rw-r--r-- | community/z3/APKBUILD | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD index b851732f76..f085b6122f 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.8.3 -pkgrel=1 +pkgver=4.8.4 +pkgrel=0 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" arch="all !s390x !aarch64" @@ -11,9 +11,7 @@ depends="" makedepends="cmake python3" install="" subpackages="$pkgname-dev py3-$pkgname:py3:noarch" -source="https://github.com/Z3Prover/$pkgname/archive/$pkgname-$pkgver.tar.gz - immintrin-i386-only.patch - fix-ppc64le-ptr-size.patch" +source="https://github.com/Z3Prover/$pkgname/archive/$pkgname-$pkgver.tar.gz" builddir="$srcdir/$pkgname-$pkgname-$pkgver" build() { @@ -55,6 +53,4 @@ py3() { "$subpkgdir"/usr/lib/ } -sha512sums="34a2dca0083ed469fdaf5ac062dda26248633245607ddd9ef90629c5f76ae30f87bfa4191c04ba9be7a617bf182a1bd00b59fd2274699e12ece69b86088c8044 z3-4.8.3.tar.gz -4d9059b8a4c2d2217abdebc2d8e118adc37594b71e056ede488e2fe314c243dbb35efc413120ff110d54723e780b4e2daedefbc57e8a140c3bddb3e03630431c immintrin-i386-only.patch -3d019959a104b5fd5f72eeb3738cacbdb145764ad4844eeb2539b36fa3a8228ffa062a0899465d4881b6c226301aa09b129ef06a798744b2eec9f943e0d9d366 fix-ppc64le-ptr-size.patch" +sha512sums="4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4 z3-4.8.4.tar.gz" |