From d99093fb4bb5652015c06274d64083daa2439e4f Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Wed, 3 Mar 2021 10:28:17 +0000 Subject: gentoo resync : 03.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 f96d14558d44..4f8eb73f4ef5 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 ~ppc64 ~x86" +KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 x86" IUSE="+ocamlopt" # Wants quickcheck_deprecated for now -- cgit v1.2.3