diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD index 6bacb14d454..6486c8f943d 100644 --- a/community/z3/APKBUILD +++ b/community/z3/APKBUILD @@ -2,10 +2,10 @@ # Maintainer: Sören Tempel pkgname=z3 pkgver=4.8.10 -pkgrel=0 +pkgrel=1 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" -arch="all !s390x !aarch64 !mips !mips64" +arch="all !mips !mips64" license="MIT" makedepends="cmake python3" subpackages="$pkgname-dev py3-$pkgname:py3:noarch"