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 | 78c72b1cb39546447a94a5a08541812010ee89e1 (patch) | |
| tree | 97aa5ebf9227e1f1ac0e4113f9d34d75dc821a11 /dev-ml/int_repr | |
| parent | net-dns/knot: Stabilize 3.2.2 x86, #904320 (diff) | |
| download | gentoo-78c72b1cb39546447a94a5a08541812010ee89e1.tar.gz gentoo-78c72b1cb39546447a94a5a08541812010ee89e1.tar.bz2 gentoo-78c72b1cb39546447a94a5a08541812010ee89e1.zip | |
dev-ml/int_repr: Stabilize 0.15.0 arm, #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 d3a3965f89bd..54a385296232 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}" |