From 1e17db840dfd2f8b2b43a0a385c106812ebcfea9 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 25 Feb 2023 03:50:40 +0000 Subject: gentoo auto-resync : 25:02:2023 - 03:50:40 --- .../ppx_ignore_instrumentation-0.15.0-r1.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild') diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild index 8aa5c3d50113..3a90bdb69b42 100644 --- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild +++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz LICENSE="MIT" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64 ~arm64 ~riscv ~x86" +KEYWORDS="~amd64 ~arm ~arm64 ~riscv ~x86" IUSE="+ocamlopt" DEPEND=">=dev-ml/ppxlib-0.23.0:=" -- cgit v1.2.3