summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAaron Bauman <bman@gentoo.org>2019-09-16 17:52:18 -0400
committerAaron Bauman <bman@gentoo.org>2019-09-16 18:13:42 -0400
commit824cd4dc872e032a7f12ed270c9833ae36867ba6 (patch)
treefeec897fabec995cbeb7382d390f383e3fe5cb78 /sci-mathematics
parentapp-arch/xar: arm64 stable (bug #693856) (diff)
downloadgentoo-824cd4dc872e032a7f12ed270c9833ae36867ba6.tar.gz
gentoo-824cd4dc872e032a7f12ed270c9833ae36867ba6.tar.bz2
gentoo-824cd4dc872e032a7f12ed270c9833ae36867ba6.zip
sci-mathematics/z3: arm64 stable (bug #693856)
Signed-off-by: Aaron Bauman <bman@gentoo.org> Package-Manager: Portage-2.3.76, Repoman-2.3.17
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/z3/z3-4.8.5.ebuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/z3/z3-4.8.5.ebuild b/sci-mathematics/z3/z3-4.8.5.ebuild
index e2179749439..655c7b28fe6 100644
--- a/sci-mathematics/z3/z3-4.8.5.ebuild
+++ b/sci-mathematics/z3/z3-4.8.5.ebuild
@@ -13,7 +13,7 @@ SRC_URI="https://github.com/Z3Prover/z3/archive/${P^}.tar.gz"
SLOT="0/4.8"
LICENSE="MIT"
-KEYWORDS="amd64 arm ~arm64 ppc64 x86"
+KEYWORDS="amd64 arm arm64 ppc64 x86"
IUSE="doc examples gmp isabelle java openmp python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"