commit: 25f41bc933d17176258a0cb7a2dcddb4b3008cb7
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Feb 8 21:52:55 2025 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Feb 8 21:52:55 2025 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=25f41bc9
sci-mathematics/why3-for-spark: keyword 2023.12.13-r1 for ~arm64
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r1.ebuild
b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r1.ebuild
index 03163b6ad325..098fc91adf34 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r1.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r1.ebuild
@@ -16,7 +16,7 @@ S="${WORKDIR}"/why3-${ID}
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~arm64"
IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt sexp zarith zip"
RESTRICT="strip"
