diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-06-09 21:49:23 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-06-09 21:49:23 +0100 |
| commit | b8cc45d2d4557cadf73e3411149ffb57ebd8c09b (patch) | |
| tree | 36e9e50b71907f13105d2d76cda896f2097f8201 /sci-mathematics/coq/coq-8.12.0-r2.ebuild | |
| parent | 60010a4cd6d7c12aaa62f00b5e8a158ed24efba6 (diff) | |
gentoo auto-resync : 09:06:2023 - 21:49:23
Diffstat (limited to 'sci-mathematics/coq/coq-8.12.0-r2.ebuild')
| -rw-r--r-- | sci-mathematics/coq/coq-8.12.0-r2.ebuild | 2 |
1 files changed, 1 insertions, 1 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 |