diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-04-25 21:43:27 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-04-25 21:43:59 +0200 |
| commit | 5a23d70c8bb4c07a4080e9831cf2e760656751b9 (patch) | |
| tree | cabe8072aca55c52d2949d789c12867e65b4e64e /dev-ml | |
| parent | package.mask: add int_repr to janestreet mask (diff) | |
| download | gentoo-5a23d70c8bb4c07a4080e9831cf2e760656751b9.tar.gz gentoo-5a23d70c8bb4c07a4080e9831cf2e760656751b9.tar.bz2 gentoo-5a23d70c8bb4c07a4080e9831cf2e760656751b9.zip | |
dev-ml/int_repr: add to tree
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/int_repr/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/int_repr/int_repr-0.15.0.ebuild | 20 | ||||
| -rw-r--r-- | dev-ml/int_repr/metadata.xml | 11 |
3 files changed, 32 insertions, 0 deletions
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>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <upstream> + <remote-id type="github">janestreet/int_repr</remote-id> + </upstream> +</pkgmetadata> |