commit: 24131cc874be41bc8698103b147d9853dd45b1e9 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Sat Jun 15 11:52:28 2024 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Sat Jun 15 15:55:05 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=24131cc8
dev-ml/int_repr: add 0.17.0 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> dev-ml/int_repr/Manifest | 1 + dev-ml/int_repr/int_repr-0.17.0.ebuild | 24 ++++++++++++++++++++++++ profiles/package.mask | 1 + 3 files changed, 26 insertions(+) diff --git a/dev-ml/int_repr/Manifest b/dev-ml/int_repr/Manifest index 719a48718198..aeca8f46df14 100644 --- a/dev-ml/int_repr/Manifest +++ b/dev-ml/int_repr/Manifest @@ -1,2 +1,3 @@ DIST int_repr-0.15.0.tar.gz 9105 BLAKE2B a2a8197cdba7c4805c9eb9402e1c853619fc142bd057c4b42a578bcfdc97b417751634a31bab1ccd5c2e75cfbef46d33b6daf76da5ed4e3c9ec26d5c81fd3b73 SHA512 96537591fc597264347f967757df979344224f84594949bca96b40298e4ae1d7b28b40f3705ad4f85e3801724c6388fc048271216703b81fda0e56a314f3e88f DIST int_repr-0.16.0.tar.gz 9227 BLAKE2B 4dfb7a21cfe2bbd27051005f7eb1452925cac30b86ce3b20aeecbc0b2cf52966cbabbd9d56fa1fadfdc3c3912b33c4a1b323cfaf46e6c027ef6c31b4893e8901 SHA512 1b395d2c5c2322a8948f09e2b1c53382902edb1a390bc4659baf8eb87d085c90e551ede171a0d4d4b3c6fec18210ff100b02565461b42cabaedc446551c79841 +DIST int_repr-0.17.0.tar.gz 9585 BLAKE2B 482001315db80c0f267569ba9b0221de0ccd01f13fb5634dec3ebf5855dfbad72e216b414022e894a3ba7cdb30e197ec94b2084195a0f97891b191037551e6c9 SHA512 f8c73d61a8db553be0f09c1b7bb9efe97e46a739aa2f43316ef66e88e78c9f739a59f6f5d48ff3ae24540b96323db86512edbb73114276c9d3fb55dcd6a9e77b diff --git a/dev-ml/int_repr/int_repr-0.17.0.ebuild b/dev-ml/int_repr/int_repr-0.17.0.ebuild new file mode 100644 index 000000000000..ea5c7697f16a --- /dev/null +++ b/dev-ml/int_repr/int_repr-0.17.0.ebuild @@ -0,0 +1,24 @@ +# Copyright 2022-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Integers of various widths" +HOMEPAGE="https://github.com/janestreet/int_repr"; +SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz + -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64" +IUSE="+ocamlopt" + +RDEPEND=" + >=dev-lang/ocaml-5 + dev-ml/base:${SLOT}[ocamlopt?] + dev-ml/ppx_jane:${SLOT}[ocamlopt?] +" +DEPEND="${RDEPEND}" +BDEPEND=">=dev-ml/dune-3.11" diff --git a/profiles/package.mask b/profiles/package.mask index aa8d06ec1a4a..36512c7f6b12 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -286,6 +286,7 @@ dev-ml/ppx_bin_prot:0/0.17 dev-ml/ppx_jane:0/0.17 dev-ml/gel:0/0.17 dev-ml/ppx_diff:0/0.17 +dev-ml/int_repr:0/0.17 # Arthur Zamarin <[email protected]> (2024-06-08) # EAPI=6, waiting for a version bump, not maintained for many years.
