diff options
| author |   Arthur Zamarin <arthurzam@gentoo.org> | 2023-04-29 19:07:30 +0300 |
|---|---|---|
| committer | Arthur Zamarin <arthurzam@gentoo.org> | 2023-04-29 19:07:30 +0300 |
| commit | a69446b025a9f917eb69c3fb487900c6354f302e (patch) | |
| tree | 87fa8797c4b8b34081bb4cc5d67d8a0d6ab0c630 /dev-ml/int_repr | |
| parent | dev-ml/int_repr: Stabilize 0.15.0 arm, #901595 (diff) | |
| download | gentoo-a69446b025a9f917eb69c3fb487900c6354f302e.tar.gz gentoo-a69446b025a9f917eb69c3fb487900c6354f302e.tar.bz2 gentoo-a69446b025a9f917eb69c3fb487900c6354f302e.zip | |
dev-ml/int_repr: Stabilize 0.15.0 x86, #901595
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Diffstat (limited to 'dev-ml/int_repr')
| -rw-r--r-- | dev-ml/int_repr/int_repr-0.15.0.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
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 54a385296232..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}" |