diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2024-06-10 14:45:09 +0200 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2024-06-10 14:45:33 +0200 |
commit | c568c3ce7893f98f4a40949175d053c45c989540 (patch) | |
tree | 3645ecb3277bdab357fb4a46c2f94d88cd092d68 /dev-ml | |
parent | media-plugins/vdr-exec: update EAPI 7 -> 8 (diff) | |
download | gentoo-c568c3ce7893f98f4a40949175d053c45c989540.tar.gz gentoo-c568c3ce7893f98f4a40949175d053c45c989540.tar.bz2 gentoo-c568c3ce7893f98f4a40949175d053c45c989540.zip |
dev-ml/stdio: add 0.17.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/stdio/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/stdio/stdio-0.17.0.ebuild | 22 |
2 files changed, 23 insertions, 0 deletions
diff --git a/dev-ml/stdio/Manifest b/dev-ml/stdio/Manifest index ea53852e50f4..6ea26c8e682a 100644 --- a/dev-ml/stdio/Manifest +++ b/dev-ml/stdio/Manifest @@ -1,3 +1,4 @@ DIST stdio-0.14.0.tar.gz 7867 BLAKE2B e9aa9727489bf59350fe87323689a5c4f5bf710bb4932b0153c4ad742db5fe03a05728d86c281796cb77d1aef9ba2cc1b236630cb125d1d182c54c344a0ee335 SHA512 74cac04bd6b1be8c13f739445185286a910f66877cb61c8f22b4027dbc3f82021030d55eb7c8471bac850fc7c0f86462a8e26653c7a08c95fb7eea16512c5f61 DIST stdio-0.15.0.tar.gz 7811 BLAKE2B 8343c6b4c42be64514efc31d59d17522d7b33dc8400b477431091ffe3504b1d00789c1bf74a85f50e1e9d3c753908a4e66cfdc667f9caad5193bc1d299d6303d SHA512 6ac6de32fda504482ccc48aa33e240240c22beb8c7203bd9addf2471b352220c95474ed0ef0b1119c28bf5e7b25a7b2d03c400c1b730e51dfa8f30431659f37d DIST stdio-0.16.0.tar.gz 7836 BLAKE2B 05f1d26d9d67996d6221ef1f1c8053afb4c53efbc8b9c75c83b72a4ca18e255d0df540461ad85e6bb0cbe8458bd09bf0029b3983ae498f91c1ae7cf9c85535d2 SHA512 fab88e4a869a88566e0f7143bec45db9572f40dc0e9528b6993edc75fbbdace46593912386c417b317daaa1fd07d4212a4e40e5afae0e682b61f4093b423f3a8 +DIST stdio-0.17.0.tar.gz 7982 BLAKE2B a99203015c3372cf29fb100fefccfa1c03ec0ff0d339b49308e228ddaa6aa22875f7d39d8aadf03912f83314c3df6b5e1f730101f5b1a29b18fd6666422ad345 SHA512 53fd4a46ed1e26970d1d0087ad6f3fb8d4518b38bec1a4fab3bb3258a17260f0c4a6df339bfbda8b3e97be030c88fbe7354f2fa611048fdb22edbe9a7a5152b7 diff --git a/dev-ml/stdio/stdio-0.17.0.ebuild b/dev-ml/stdio/stdio-0.17.0.ebuild new file mode 100644 index 000000000000..fafe6ea382a5 --- /dev/null +++ b/dev-ml/stdio/stdio-0.17.0.ebuild @@ -0,0 +1,22 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Standard IO Library for OCaml" +HOMEPAGE="https://github.com/janestreet/stdio" +SRC_URI="https://github.com/janestreet/stdio/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64" +IUSE="+ocamlopt" + +RDEPEND=" + >=dev-lang/ocaml-5 + dev-ml/base:${SLOT} +" +DEPEND="${RDEPEND}" +BDEPEND=">=dev-ml/dune-3.11" |