From 5bb9ff1ee56d2b5e75e01a7f066d8b0cec84ec02 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 20 Mar 2021 14:27:17 +0000 Subject: gentoo resync : 20.03.2021 --- dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild') diff --git a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild b/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild index 5e300becad61..949faa0132ed 100644 --- a/dev-ml/core_kernel/core_kernel-0.14.1-r3.ebuild +++ b/dev-ml/core_kernel/core_kernel-0.14.1-r3.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/${PV}" -KEYWORDS="amd64 ~arm ~arm64 ppc ~ppc64 x86" +KEYWORDS="amd64 arm arm64 ppc ppc64 x86" IUSE="+ocamlopt" # Wants quickcheck_deprecated for now -- cgit v1.2.3