commit: 44509312ea48e5635a16779600bc7439789a1ab9 Author: Agostino Sarubbo <ago <AT> gentoo <DOT> org> AuthorDate: Tue Dec 7 06:25:44 2021 +0000 Commit: Agostino Sarubbo <ago <AT> gentoo <DOT> org> CommitDate: Tue Dec 7 06:25:44 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=44509312
sci-mathematics/coq: x86 stable wrt bug #827149 Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago <AT> gentoo.org> sci-mathematics/coq/coq-8.12.0-r2.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci-mathematics/coq/coq-8.12.0-r2.ebuild b/sci-mathematics/coq/coq-8.12.0-r2.ebuild index 2f39cf405c65..71295a252044 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" -KEYWORDS="amd64 ~x86" +KEYWORDS="amd64 x86" IUSE="gtk debug +ocamlopt doc" RESTRICT=test
