From 3908d93d95c681718dc050c6cf689cc4aed1c463 Mon Sep 17 00:00:00 2001
From: Matoro Mahri <matoro_gentoo@matoro.tk>
Date: Mon, 15 Jan 2024 16:55:29 -0500
Subject: [PATCH] sci-mathematics/coq: Stabilize 8.18.0 amd64, #915951

Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk>
Signed-off-by: Viorel Munteanu <ceamac@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 f634026e1cda6..a3ac3b8a9f0a0 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 )"