diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-05-12 16:42:50 +0300 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-05-12 16:42:50 +0300 |
| commit | 752d6256e5204b958b0ef7905675a940b5e9172f (patch) | |
| tree | 330d16e6362a49cbed8875a777fe641a43376cd3 /dev-ml/int_repr | |
| parent | 0c100b7dd2b30e75b799d806df4ef899fd98e1ea (diff) | |
gentoo resync : 12.05.2022
Diffstat (limited to 'dev-ml/int_repr')
| -rw-r--r-- | dev-ml/int_repr/Manifest | 3 | ||||
| -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, 34 insertions, 0 deletions
diff --git a/dev-ml/int_repr/Manifest b/dev-ml/int_repr/Manifest new file mode 100644 index 000000000000..1adfe3be5318 --- /dev/null +++ b/dev-ml/int_repr/Manifest @@ -0,0 +1,3 @@ +DIST int_repr-0.15.0.tar.gz 9105 BLAKE2B a2a8197cdba7c4805c9eb9402e1c853619fc142bd057c4b42a578bcfdc97b417751634a31bab1ccd5c2e75cfbef46d33b6daf76da5ed4e3c9ec26d5c81fd3b73 SHA512 96537591fc597264347f967757df979344224f84594949bca96b40298e4ae1d7b28b40f3705ad4f85e3801724c6388fc048271216703b81fda0e56a314f3e88f +EBUILD int_repr-0.15.0.ebuild 446 BLAKE2B cff222f56a7df5a9e8f94bf08d0113b7257781c270c2767d882c0c198ca061030da03b673ca714466aadd429b6869d1ba2ea5c8a1fc0a7dd1c14a8e981d33dc3 SHA512 1644373046b401a1844f59717dd844284ab285bc1f9aae3d110b7d1e81cfc500edc24213eb4235cb9e9c46554562ec8763a9ffcf97a7bdb11c07899ce5d3e75b +MISC metadata.xml 317 BLAKE2B 58b512e27ebd93e11da8245933f2230bddab2c07234c6365b8f860c70fad16866cd6e5a98559034d962c2cc5509d0346a9b6f9e88dcd663967432f4e38c70f0a SHA512 1e3442d580d84254768050b55eafcecaa4b1749404879f5443514c45014d9e0110ed72375ebe01b44603faf98035f1570f5820f9f4e9e448a627d6498fa65c70 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> |