summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2024-06-10 14:45:09 +0200
committerAlfredo Tupone <tupone@gentoo.org>2024-06-10 14:45:33 +0200
commitc568c3ce7893f98f4a40949175d053c45c989540 (patch)
tree3645ecb3277bdab357fb4a46c2f94d88cd092d68 /dev-ml
parentmedia-plugins/vdr-exec: update EAPI 7 -> 8 (diff)
downloadgentoo-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/Manifest1
-rw-r--r--dev-ml/stdio/stdio-0.17.0.ebuild22
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"