diff options
| -rw-r--r-- | sci-mathematics/coq/coq-8.15.0-r2.ebuild | 2 |
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 |