diff options
Diffstat (limited to 'testing/z3/APKBUILD')
| -rw-r--r-- | testing/z3/APKBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testing/z3/APKBUILD b/testing/z3/APKBUILD index 79786ffc5b..60149f11bd 100644 --- a/testing/z3/APKBUILD +++ b/testing/z3/APKBUILD @@ -5,7 +5,7 @@ pkgver=4.6.0 pkgrel=3 pkgdesc="Theorem prover from Microsoft Research" url="https://github.com/Z3Prover/z3" -arch="all !s390x !ppc64le" +arch="all !s390x !ppc64le !aarch64" license="MIT" depends="" makedepends="cmake python3" |