commit: a2f0ae7aea192740e95e60d69b62a8647cb209ab
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 30 19:34:31 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Mon Sep 30 19:34:31 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a2f0ae7a
sci-mathematics/coq: Stabilize 8.19.2 amd64, #940557
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
sci-mathematics/coq/coq-8.19.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/coq/coq-8.19.2.ebuild
b/sci-mathematics/coq/coq-8.19.2.ebuild
index f61b2d0f54da..4be3a3484836 100644
--- a/sci-mathematics/coq/coq-8.19.2.ebuild
+++ b/sci-mathematics/coq/coq-8.19.2.ebuild
@@ -17,7 +17,7 @@ S="${WORKDIR}/${MY_P}"
LICENSE="LGPL-2.1"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64 ~x86"
IUSE="debug doc gui +ocamlopt test"
# TODO: Lots of failing tests. Maybe investigate later.
