From bade0e7faffcb9c962e1b6770f27eff6cabcb4a7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maciej=20Bar=C4=87?= <xgqt@gentoo.org>
Date: Sun, 13 Mar 2022 14:18:58 +0100
Subject: [PATCH] sci-mathematics/coq: re-add ~x86 keyword dropped by mistake
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Maciej Barć <xgqt@gentoo.org>
---
 sci-mathematics/coq/coq-8.15.0-r2.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-mathematics/coq/coq-8.15.0-r2.ebuild b/sci-mathematics/coq/coq-8.15.0-r2.ebuild
index 4bf8c498ab4d6..fc4bad9737093 100644
--- a/sci-mathematics/coq/coq-8.15.0-r2.ebuild
+++ b/sci-mathematics/coq/coq-8.15.0-r2.ebuild
@@ -15,7 +15,7 @@ S="${WORKDIR}/${MY_P}"
 
 LICENSE="LGPL-2.1"
 SLOT="0"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~x86"
 IUSE="doc gtk debug +ocamlopt"
 RESTRICT="test"  # fails