diff --git a/community/z3/APKBUILD b/community/z3/APKBUILD index f085b6122ff..a027ced5760 100644 --- a/community/z3/APKBUILD +++ b/community/z3/APKBUILD @@ -2,7 +2,7 @@ # Maintainer: Sören Tempel pkgname=z3 pkgver=4.8.4 -pkgrel=0 +pkgrel=1 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" arch="all !s390x !aarch64"