diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-07-02 08:55:53 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-07-02 09:22:05 +0200 |
| commit | 6e6e11421eacd5f4e32a8cdbeb81c8750337db6a (patch) | |
| tree | 5587390aa16c61f9689fc2d9287390ac5c3fc162 /dev-ml/base_bigstring | |
| parent | dev-ml/int_repr: add 0.16.0 (diff) | |
| download | gentoo-6e6e11421eacd5f4e32a8cdbeb81c8750337db6a.tar.gz gentoo-6e6e11421eacd5f4e32a8cdbeb81c8750337db6a.tar.bz2 gentoo-6e6e11421eacd5f4e32a8cdbeb81c8750337db6a.zip | |
dev-ml/base_bigstring: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/base_bigstring')
| -rw-r--r-- | dev-ml/base_bigstring/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/base_bigstring/base_bigstring-0.16.0.ebuild | 22 |
2 files changed, 23 insertions, 0 deletions
diff --git a/dev-ml/base_bigstring/Manifest b/dev-ml/base_bigstring/Manifest index 032b2d2e7f96..6ec13bfdbba5 100644 --- a/dev-ml/base_bigstring/Manifest +++ b/dev-ml/base_bigstring/Manifest @@ -1,2 +1,3 @@ DIST base_bigstring-0.14.0.tar.gz 16579 BLAKE2B 4708fc425b9a4fb534b10b3536eca11bfd4ed8374319f9be09aa981d1a2a24433a25b62cb3faae459a0a633a2ebe6c15a28c2c15251f2ec9505c35528715de16 SHA512 d60bfd1989a29e4c1359722d4c0e2ec382c6d4f3c763b9b80980f38b51419bdf9d30bd9f8ca9cfbc33064458415e227c9f4077d9746ffc13cb4cd5ec8e221fc4 DIST base_bigstring-0.15.0.tar.gz 17266 BLAKE2B f557fd8d46ad33afb89f50f914c76b287b19c8ee33a620c6a1def5379d59dd7f73b531c4077a3c7ce9e2cefbf6f71c7e49b3dd21213c68507bd19b0c90c44bf5 SHA512 d8311312ea1b3dc3a1a30c87ba4984438ca2c81f8da9cbb7f111dd74fb9b16ad8226166ae2fc2b572a989af15099b07294a667646b0ab22130de4406da53230b +DIST base_bigstring-0.16.0.tar.gz 19275 BLAKE2B 380b82c397f8cc8ddc6c5d33ebab13845eedbafc8c479eb2a03289d0bea929a0b442363729f706d0ff886f1686ee2b7e31aac97e3f7477809f13a5b0eebcdccc SHA512 95297f201ed8229feb974e6389f2aa955391d4716d6bc81b9b8ea06daf2722a950bd623fd35267fcbcde064ec49a5e06f51ef5b12f5c30793da937ca1c3c8bf5 diff --git a/dev-ml/base_bigstring/base_bigstring-0.16.0.ebuild b/dev-ml/base_bigstring/base_bigstring-0.16.0.ebuild new file mode 100644 index 000000000000..5893bd93f8ab --- /dev/null +++ b/dev-ml/base_bigstring/base_bigstring-0.16.0.ebuild @@ -0,0 +1,22 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +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/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +DEPEND=" + >=dev-lang/ocaml-4.14 + dev-ml/base:${SLOT} + dev-ml/int_repr:${SLOT} +" +RDEPEND="${DEPEND}" |