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/ordering/ordering-3.7.1.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev-ml/ordering/ordering-3.7.1.ebuild') diff --git a/dev-ml/ordering/ordering-3.7.1.ebuild b/dev-ml/ordering/ordering-3.7.1.ebuild index 3302c44ddac1..669840ebf990 100644 --- a/dev-ml/ordering/ordering-3.7.1.ebuild +++ b/dev-ml/ordering/ordering-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