commit: 3908d93d95c681718dc050c6cf689cc4aed1c463
Author: Matoro Mahri <matoro_gentoo <AT> matoro <DOT> tk>
AuthorDate: Mon Jan 15 21:55:29 2024 +0000
Commit: Viorel Munteanu <ceamac <AT> gentoo <DOT> org>
CommitDate: Tue Jan 16 05:41:51 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3908d93d
sci-mathematics/coq: Stabilize 8.18.0 amd64, #915951
Signed-off-by: Matoro Mahri <matoro_gentoo <AT> matoro.tk>
Signed-off-by: Viorel Munteanu <ceamac <AT> gentoo.org>
sci-mathematics/coq/coq-8.18.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/coq/coq-8.18.0.ebuild
b/sci-mathematics/coq/coq-8.18.0.ebuild
index f634026e1cda..a3ac3b8a9f0a 100644
--- a/sci-mathematics/coq/coq-8.18.0.ebuild
+++ b/sci-mathematics/coq/coq-8.18.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -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"
RESTRICT="!test? ( test )"
