From 97a08f923eb58391fc8be7cd3425ffc03478dff0 Mon Sep 17 00:00:00 2001
From: omni <omni+alpine@hack.org>
Date: Sun, 28 Mar 2021 17:11:11 +0000
Subject: [PATCH] community/z3: enable on aarch64 & s390x

---
 community/z3/APKBUILD | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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 <soeren+alpine@soeren-tempel.net>
 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"