diff options
| author |   Arthur Zamarin <arthurzam@gentoo.org> | 2023-02-20 22:26:23 +0200 |
|---|---|---|
| committer | Arthur Zamarin <arthurzam@gentoo.org> | 2023-02-20 22:26:23 +0200 |
| commit | e55ad9636a17934c1e432ac2886ab08bbaa46487 (patch) | |
| tree | 8d94cc7521319873df70683aa1f06d11098cab94 /dev-ml/core_kernel | |
| parent | dev-ml/core: Keyword 0.15.1-r1 x86, #892131 (diff) | |
| download | gentoo-e55ad9636a17934c1e432ac2886ab08bbaa46487.tar.gz gentoo-e55ad9636a17934c1e432ac2886ab08bbaa46487.tar.bz2 gentoo-e55ad9636a17934c1e432ac2886ab08bbaa46487.zip | |
dev-ml/core_kernel: Keyword 0.15.0 x86, #892131
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Diffstat (limited to 'dev-ml/core_kernel')
| -rw-r--r-- | dev-ml/core_kernel/core_kernel-0.15.0.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild index 3fbf063734e5..55b846c55ca1 100644 --- a/dev-ml/core_kernel/core_kernel-0.15.0.ebuild +++ b/dev-ml/core_kernel/core_kernel-0.15.0.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="LGPL-2.1-with-linking-exception" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64 ~riscv" +KEYWORDS="~amd64 ~riscv ~x86" IUSE="+ocamlopt" # Wants quickcheck_deprecated for now |