From 2e0bf408961ec1023d3db1fc5d687c233661ac26 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 17 Mar 2023 06:26:48 +0000 Subject: gentoo auto-resync : 17:03:2023 - 06:26:48 --- dev-ml/ppx_tools/ppx_tools-6.6.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev-ml/ppx_tools/ppx_tools-6.6.ebuild') diff --git a/dev-ml/ppx_tools/ppx_tools-6.6.ebuild b/dev-ml/ppx_tools/ppx_tools-6.6.ebuild index 0716cf4a4310..670e9af0b2e8 100644 --- a/dev-ml/ppx_tools/ppx_tools-6.6.ebuild +++ b/dev-ml/ppx_tools/ppx_tools-6.6.ebuild @@ -13,7 +13,7 @@ S="${WORKDIR}/${PN}-$(ver_rs 2 '-')" LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" +KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 x86" IUSE="+ocamlopt" BDEPEND=" -- cgit v1.2.3