From f375364340914b034cae02b8ee1e291d1fc86d6c Mon Sep 17 00:00:00 2001
From: Arthur Zamarin <arthurzam@gentoo.org>
Date: Fri, 7 Nov 2025 23:36:17 +0200
Subject: [PATCH] sci-mathematics/coq: Stabilize 9.1.0-r1 amd64, #965809

Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
---
 sci-mathematics/coq/coq-9.1.0-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-mathematics/coq/coq-9.1.0-r1.ebuild b/sci-mathematics/coq/coq-9.1.0-r1.ebuild
index ac9ad6e10d8f..48eabe9bbb87 100644
--- a/sci-mathematics/coq/coq-9.1.0-r1.ebuild
+++ b/sci-mathematics/coq/coq-9.1.0-r1.ebuild
@@ -18,7 +18,7 @@ else
 		-> ${P}.tar.gz"
 	S="${WORKDIR}/rocq-${PV}"
 
-	KEYWORDS="~amd64 ~arm64"
+	KEYWORDS="amd64 ~arm64"
 fi
 
 LICENSE="LGPL-2.1"