summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2022-03-13 14:18:58 +0100
committerMaciej Barć <xgqt@gentoo.org>2022-03-13 14:18:58 +0100
commitbade0e7faffcb9c962e1b6770f27eff6cabcb4a7 (patch)
treea6b6dde2f99acb52f09bb2f99bb08607282f52f7
parentgnome-base/gnome-core-apps-41.3: ALLARCHES stable (diff)
downloadgentoo-bade0e7faffcb9c962e1b6770f27eff6cabcb4a7.tar.gz
gentoo-bade0e7faffcb9c962e1b6770f27eff6cabcb4a7.tar.bz2
gentoo-bade0e7faffcb9c962e1b6770f27eff6cabcb4a7.zip
sci-mathematics/coq: re-add ~x86 keyword dropped by mistake
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
-rw-r--r--sci-mathematics/coq/coq-8.15.0-r2.ebuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/coq/coq-8.15.0-r2.ebuild b/sci-mathematics/coq/coq-8.15.0-r2.ebuild
index 4bf8c498ab4d..fc4bad973709 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