commit: b97aca920fbbe2bfb462187d5cadfb217e80e7dd
Author: Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
AuthorDate: Mon Jan 5 05:43:38 2026 +0000
Commit: Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
CommitDate: Mon Jan 5 12:03:29 2026 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b97aca92
sci-mathematics/why3-for-spark: Stabilize 2023.12.13-r2 amd64, #966462
Signed-off-by: Eli Schwartz <eschwartz <AT> gentoo.org>
sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild
b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild
index 0ed775f73f97..17e2b84cbc8b 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2025 Gentoo Authors
+# Copyright 1999-2026 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -16,7 +16,7 @@ S="${WORKDIR}"/why3-${ID}
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="~amd64 ~arm64"
+KEYWORDS="amd64 ~arm64"
IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt sexp zarith zip"
RESTRICT="strip"
