diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2021-01-29 18:03:51 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2021-01-29 18:03:51 +0000 |
commit | d7ed2b01311f15ba54fe8ea872aab7d59ab2b193 (patch) | |
tree | 1814dd2b5bbf2e7639fdafbeef48d228cfaf5e9b /dev-ml/base_bigstring | |
parent | abaa75b10f899ada8dd05b23cc03205064394bc6 (diff) |
gentoo resync : 29.01.2021
Diffstat (limited to 'dev-ml/base_bigstring')
-rw-r--r-- | dev-ml/base_bigstring/Manifest | 3 | ||||
-rw-r--r-- | dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild | 22 | ||||
-rw-r--r-- | dev-ml/base_bigstring/metadata.xml | 11 |
3 files changed, 36 insertions, 0 deletions
diff --git a/dev-ml/base_bigstring/Manifest b/dev-ml/base_bigstring/Manifest new file mode 100644 index 000000000000..292c53415068 --- /dev/null +++ b/dev-ml/base_bigstring/Manifest @@ -0,0 +1,3 @@ +DIST base_bigstring-0.14.0.tar.gz 16579 BLAKE2B 4708fc425b9a4fb534b10b3536eca11bfd4ed8374319f9be09aa981d1a2a24433a25b62cb3faae459a0a633a2ebe6c15a28c2c15251f2ec9505c35528715de16 SHA512 d60bfd1989a29e4c1359722d4c0e2ec382c6d4f3c763b9b80980f38b51419bdf9d30bd9f8ca9cfbc33064458415e227c9f4077d9746ffc13cb4cd5ec8e221fc4 +EBUILD base_bigstring-0.14.0.ebuild 527 BLAKE2B 13e7c0aa334325ad3e8d2e0c9b31664d4a98936412fd3adc2f80d76069382efdd763531e225193a02d4fc306225d2304636e1ec1211e63f4cfd3628c94ccf128 SHA512 7dcff1fe171c3265c58a6b91a059b2721d0e39efa6ed7f695a5c89c3bb336f7f46cf33a0508606d6d1437be4d95586137afd1c737cfb6f4aca17f5b4381c97e1 +MISC metadata.xml 322 BLAKE2B 6f3b69019ca3e0a854cdf57efa6e27f66dabdf01fca2323c3bb96d876a96b172f1b99c681b5428581bf51308b70dd82fe8604ffa36de6595d0c2d81306fca8a3 SHA512 1503d91c3e848bfbf4f7833c3459f8286f8794aa71c4df227cc3ab820fd9d13c06ad5b57327b2cf0cfd88bb255035dbe9c7da29f580ad7e93b2575f7094e18e8 diff --git a/dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild b/dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild new file mode 100644 index 000000000000..8dc431eb8abd --- /dev/null +++ b/dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild @@ -0,0 +1,22 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="String type based on Bigarray, for use in I/O and C-bindings" +HOMEPAGE="https://github.com/janestreet/base_bigstring" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~x86" +IUSE="+ocamlopt" + +DEPEND=" + >=dev-lang/ocaml-4.08.0:=[ocamlopt=] + dev-ml/base:= + dev-ml/ppx_jane:= +" +RDEPEND="${DEPEND}" diff --git a/dev-ml/base_bigstring/metadata.xml b/dev-ml/base_bigstring/metadata.xml new file mode 100644 index 000000000000..70e661420ebd --- /dev/null +++ b/dev-ml/base_bigstring/metadata.xml @@ -0,0 +1,11 @@ +<?xml version='1.0' encoding='UTF-8'?> +<!DOCTYPE pkgmetadata SYSTEM "http://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/base_bigstring</remote-id> + </upstream> +</pkgmetadata> |