commit:     d7d825568937826da9b338ddd2d9c8738a35d991
Author:     Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Thu Mar 21 17:40:57 2019 +0000
Commit:     Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Thu Mar 21 17:43:10 2019 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d7d82556

sci-mathematics/z3: Keyword 4.8.4 ~arm64

Tested by NeddySeagoon.

Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>

 sci-mathematics/z3/z3-4.8.4.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-mathematics/z3/z3-4.8.4.ebuild 
b/sci-mathematics/z3/z3-4.8.4.ebuild
index 810edb13ba9..c6c048fd6b7 100644
--- a/sci-mathematics/z3/z3-4.8.4.ebuild
+++ b/sci-mathematics/z3/z3-4.8.4.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 ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc64 ~x86"
 IUSE="doc examples gmp isabelle java openmp python"
 REQUIRED_USE="${PYTHON_REQUIRED_USE}"
 

Reply via email to