commit: 5a23d70c8bb4c07a4080e9831cf2e760656751b9 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Mon Apr 25 19:43:27 2022 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Mon Apr 25 19:43:59 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5a23d70c
dev-ml/int_repr: add to tree Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> dev-ml/int_repr/Manifest | 1 + dev-ml/int_repr/int_repr-0.15.0.ebuild | 20 ++++++++++++++++++++ dev-ml/int_repr/metadata.xml | 11 +++++++++++ 3 files changed, 32 insertions(+) diff --git a/dev-ml/int_repr/Manifest b/dev-ml/int_repr/Manifest new file mode 100644 index 000000000000..9cae55d8d193 --- /dev/null +++ b/dev-ml/int_repr/Manifest @@ -0,0 +1 @@ +DIST int_repr-0.15.0.tar.gz 9105 BLAKE2B a2a8197cdba7c4805c9eb9402e1c853619fc142bd057c4b42a578bcfdc97b417751634a31bab1ccd5c2e75cfbef46d33b6daf76da5ed4e3c9ec26d5c81fd3b73 SHA512 96537591fc597264347f967757df979344224f84594949bca96b40298e4ae1d7b28b40f3705ad4f85e3801724c6388fc048271216703b81fda0e56a314f3e88f diff --git a/dev-ml/int_repr/int_repr-0.15.0.ebuild b/dev-ml/int_repr/int_repr-0.15.0.ebuild new file mode 100644 index 000000000000..8bdf0e71886b --- /dev/null +++ b/dev-ml/int_repr/int_repr-0.15.0.ebuild @@ -0,0 +1,20 @@ +# Copyright 2022 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" +IUSE="+ocamlopt" + +DEPEND="dev-ml/ppx_jane:${SLOT}" +RDEPEND="${DEPEND}" +BDEPEND="" diff --git a/dev-ml/int_repr/metadata.xml b/dev-ml/int_repr/metadata.xml new file mode 100644 index 000000000000..762c50d1612f --- /dev/null +++ b/dev-ml/int_repr/metadata.xml @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> +<pkgmetadata> + <maintainer type="project"> + <email>m...@gentoo.org</email> + <name>ML</name> + </maintainer> + <upstream> + <remote-id type="github">janestreet/int_repr</remote-id> + </upstream> +</pkgmetadata>
