From bcf596975a1c2450e077c80c84017c54198f216c Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 17 Mar 2023 12:27:31 +0000 Subject: gentoo auto-resync : 17:03:2023 - 12:27:30 --- .../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 3d16a36ca86a..6fd3bcab4bc4 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 ~arm ~arm64 ~riscv ~x86" +KEYWORDS="amd64 arm ~arm64 ~riscv x86" IUSE="+ocamlopt" DEPEND=">=dev-ml/ppxlib-0.23.0:=" -- cgit v1.2.3