commit: 1ab8dc21c4f7483f93ad212f246fe3419d804ed7 Author: Jakov Smolić <jsmolic <AT> gentoo <DOT> org> AuthorDate: Mon Dec 6 07:15:35 2021 +0000 Commit: Jakov Smolić <jsmolic <AT> gentoo <DOT> org> CommitDate: Mon Dec 6 07:15:35 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1ab8dc21
sci-mathematics/coq: Stabilize 8.12.0-r2 amd64, #827149 Signed-off-by: Jakov Smolić <jsmolic <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 8ac534f46bf8..2f39cf405c65 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
