From 2ebceb686e2370a0a9172a7be4a3c29555a08b80 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 29 Apr 2023 23:15:57 +0100 Subject: gentoo auto-resync : 29:04:2023 - 23:15:57 --- dev-ml/int_repr/int_repr-0.15.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev-ml/int_repr/int_repr-0.15.0.ebuild') diff --git a/dev-ml/int_repr/int_repr-0.15.0.ebuild b/dev-ml/int_repr/int_repr-0.15.0.ebuild index 14ac62ac39e8..34ec808cf0a4 100644 --- a/dev-ml/int_repr/int_repr-0.15.0.ebuild +++ b/dev-ml/int_repr/int_repr-0.15.0.ebuild @@ -12,7 +12,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/ppx_jane:${SLOT}" -- cgit v1.2.3