diff options
author | Arthur Zamarin <arthurzam@gentoo.org> | 2023-06-03 17:54:16 +0300 |
---|---|---|
committer | Arthur Zamarin <arthurzam@gentoo.org> | 2023-06-09 17:46:15 +0300 |
commit | 31b057e4937b730746ef90bbc2f2b14b0923eedd (patch) | |
tree | b82f3e72cdc847ea1e6d1cbc91caab61c7851fc8 /sci-mathematics/coq | |
parent | sci-mathematics/cliquer: destabilize for ~x86 (diff) | |
download | gentoo-31b057e4937b730746ef90bbc2f2b14b0923eedd.tar.gz gentoo-31b057e4937b730746ef90bbc2f2b14b0923eedd.tar.bz2 gentoo-31b057e4937b730746ef90bbc2f2b14b0923eedd.zip |
sci-mathematics/coq: destabilize for ~x86
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq')
-rw-r--r-- | sci-mathematics/coq/coq-8.12.0-r2.ebuild | 2 | ||||
-rw-r--r-- | sci-mathematics/coq/coq-8.17.0.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/coq/coq-8.12.0-r2.ebuild b/sci-mathematics/coq/coq-8.12.0-r2.ebuild index 8ccc4c7a73ef..2781f3840db2 100644 --- a/sci-mathematics/coq/coq-8.12.0-r2.ebuild +++ b/sci-mathematics/coq/coq-8.12.0-r2.ebuild @@ -14,7 +14,7 @@ SRC_URI="https://github.com/coq/coq/archive/V${MY_PV}.tar.gz -> ${P}.tar.gz" LICENSE="LGPL-2.1" SLOT="0/${PV}" -KEYWORDS="amd64 x86" +KEYWORDS="amd64 ~x86" IUSE="gtk debug +ocamlopt doc" RESTRICT=test diff --git a/sci-mathematics/coq/coq-8.17.0.ebuild b/sci-mathematics/coq/coq-8.17.0.ebuild index 6e20f85ae93c..f634026e1cda 100644 --- a/sci-mathematics/coq/coq-8.17.0.ebuild +++ b/sci-mathematics/coq/coq-8.17.0.ebuild @@ -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 )" |