From eedf7b9dec39b69b43f7b581da418d37428db449 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 20 May 2023 22:19:27 +0100 Subject: gentoo auto-resync : 20:05:2023 - 22:19:26 --- dev-ml/dyn/dyn-3.7.1.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev-ml/dyn/dyn-3.7.1.ebuild') diff --git a/dev-ml/dyn/dyn-3.7.1.ebuild b/dev-ml/dyn/dyn-3.7.1.ebuild index a3d55d2d7132..53cc7fe224bf 100644 --- a/dev-ml/dyn/dyn-3.7.1.ebuild +++ b/dev-ml/dyn/dyn-3.7.1.ebuild @@ -13,7 +13,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" IUSE="+ocamlopt" RESTRICT="test" -- cgit v1.2.3