diff options
| author |   Arthur Zamarin <arthurzam@gentoo.org> | 2024-09-30 22:34:31 +0300 |
|---|---|---|
| committer | Arthur Zamarin <arthurzam@gentoo.org> | 2024-09-30 22:34:31 +0300 |
| commit | a2f0ae7aea192740e95e60d69b62a8647cb209ab (patch) | |
| tree | cf2db5d269cd67954a1574e4fa54f9e229596bd7 /sci-mathematics/coq | |
| parent | x11-drivers/nvidia-drivers: fix build with USE=-modules (diff) | |
| download | gentoo-a2f0ae7aea192740e95e60d69b62a8647cb209ab.tar.gz gentoo-a2f0ae7aea192740e95e60d69b62a8647cb209ab.tar.bz2 gentoo-a2f0ae7aea192740e95e60d69b62a8647cb209ab.zip | |
sci-mathematics/coq: Stabilize 8.19.2 amd64, #940557
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/coq-8.19.2.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/coq/coq-8.19.2.ebuild b/sci-mathematics/coq/coq-8.19.2.ebuild index f61b2d0f54da..4be3a3484836 100644 --- a/sci-mathematics/coq/coq-8.19.2.ebuild +++ b/sci-mathematics/coq/coq-8.19.2.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" # TODO: Lots of failing tests. Maybe investigate later. |