diff options
author | Arthur Zamarin <arthurzam@gentoo.org> | 2024-06-12 08:37:47 +0300 |
---|---|---|
committer | Arthur Zamarin <arthurzam@gentoo.org> | 2024-06-12 08:37:47 +0300 |
commit | a61fd478c1de30b6ebc46b1c5dca1db3fcd4a57e (patch) | |
tree | 0574fd063b4819d650fcca2a6bb0606eebaa715c /dev-ml | |
parent | dev-ml/core: Stabilize 0.16.1 ppc64, #933369 (diff) | |
download | gentoo-a61fd478c1de30b6ebc46b1c5dca1db3fcd4a57e.tar.gz gentoo-a61fd478c1de30b6ebc46b1c5dca1db3fcd4a57e.tar.bz2 gentoo-a61fd478c1de30b6ebc46b1c5dca1db3fcd4a57e.zip |
dev-ml/core_kernel: Stabilize 0.16.0 ppc64, #933369
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/core_kernel/core_kernel-0.16.0.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/core_kernel/core_kernel-0.16.0.ebuild b/dev-ml/core_kernel/core_kernel-0.16.0.ebuild index f1677250eed2..fbff9c2b3e9e 100644 --- a/dev-ml/core_kernel/core_kernel-0.16.0.ebuild +++ b/dev-ml/core_kernel/core_kernel-0.16.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 arm arm64 ~ppc ~ppc64 ~riscv x86" +KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86" IUSE="+ocamlopt" # Wants quickcheck_deprecated for now |