summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Deutschmann <whissi@gentoo.org>2020-10-26 00:40:17 +0100
committerThomas Deutschmann <whissi@gentoo.org>2020-10-26 00:42:04 +0100
commitd0b6fd8c21128f37c678d9720971363ba60ba7a5 (patch)
tree221450aa71ca82f5cad33e3f57c992b6d43cf7ae /sci-mathematics
parentdev-python/yarl: x86 stable (bug #751139) (diff)
downloadgentoo-d0b6fd8c21128f37c678d9720971363ba60ba7a5.tar.gz
gentoo-d0b6fd8c21128f37c678d9720971363ba60ba7a5.tar.bz2
gentoo-d0b6fd8c21128f37c678d9720971363ba60ba7a5.zip
sci-mathematics/z3: x86 stable (bug #751145)
Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/z3/z3-4.8.9.ebuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/z3/z3-4.8.9.ebuild b/sci-mathematics/z3/z3-4.8.9.ebuild
index 3570ae1f1e4..24fe07becc3 100644
--- a/sci-mathematics/z3/z3-4.8.9.ebuild
+++ b/sci-mathematics/z3/z3-4.8.9.ebuild
@@ -15,7 +15,7 @@ S=${WORKDIR}/z3-${P}
SLOT="0/4.8"
LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc64 x86"
IUSE="doc examples gmp isabelle java python"
REQUIRED_USE="${PYTHON_REQUIRED_USE}"