From: "Alfredo Tupone" <tupone@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/
Date: Fri, 30 Jun 2023 13:14:54 +0000 (UTC) [thread overview]
Message-ID: <1688130849.25411bbc9f3929c49a3d2247e8ee2b85862ad344.tupone@gentoo> (raw)
commit: 25411bbc9f3929c49a3d2247e8ee2b85862ad344
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 30 13:00:21 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Jun 30 13:14:09 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=25411bbc
dev-ml/splittable_random: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/splittable_random/Manifest | 1 +
.../splittable_random-0.16.0.ebuild | 28 ++++++++++++++++++++++
2 files changed, 29 insertions(+)
diff --git a/dev-ml/splittable_random/Manifest b/dev-ml/splittable_random/Manifest
index 433aeb3603c7..16a30265ecdf 100644
--- a/dev-ml/splittable_random/Manifest
+++ b/dev-ml/splittable_random/Manifest
@@ -1,2 +1,3 @@
DIST splittable_random-0.14.0.tar.gz 9942 BLAKE2B 3147e290cbf7a6e2ce8994ce0f95f392a4f7f24f7c2b6fd1b5394ec537e8be7efbefebcb8f2794e026cdd30596e6defde86126646b19f6d299ee79dbaa4d4bb7 SHA512 c8c006bba0f74e53892d9fd364de4d822182ce5371deae4f5d881d59ad6b9a8a429ac6aca54ae95edf312565b87e89a2c2546a349b2e6de2a78ece0655a09b94
DIST splittable_random-0.15.0.tar.gz 9945 BLAKE2B 66083ed6dba1acad98570431497074a551c107c2b0c0d812f1771ee94e4c52b34373fd152f4afef73383dcca378d2cb623718406c55038d879fa3b3ead329166 SHA512 10adeedcda260301f8866a8f128d2f6a59ebbb70898fd82bf2c9db9b40cb1bc24bdb9706d0d0983e8abd8c4a4a920b06d16a3196dc6ba522b13af5c4b9302811
+DIST splittable_random-0.16.0.tar.gz 9978 BLAKE2B 55c351cd36fc7f41a3abcdad1ca81bd8da67e8d0eadb8d28306e42de9990cfb00b8c7812e7a15c3ffb447c9180347395e403de38740344baf54e48760fbc9f91 SHA512 eeb58de6cf8ee6fda61997ad06e9a3d807eb4e296320b2fcb17bf2ce41dc9ca4dc75ff1caf257dcbb94bd6f205ea2f9b1e2d91a42cf4ee34964ba91f8a0bebd3
diff --git a/dev-ml/splittable_random/splittable_random-0.16.0.ebuild b/dev-ml/splittable_random/splittable_random-0.16.0.ebuild
new file mode 100644
index 000000000000..4e4c7a4d1db0
--- /dev/null
+++ b/dev-ml/splittable_random/splittable_random-0.16.0.ebuild
@@ -0,0 +1,28 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="PRNG that can be split into independent streams"
+HOMEPAGE="https://github.com/janestreet/splittable_random"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+RDEPEND="
+ >=dev-lang/ocaml-4.14
+ dev-ml/ppx_assert:${SLOT}
+ dev-ml/ppx_bench:${SLOT}
+ dev-ml/ppx_compare:=
+ dev-ml/ppx_here:=
+ dev-ml/ppx_inline_test:${SLOT}
+ dev-ml/ppx_sexp_message:${SLOT}
+ dev-ml/ppx_sexp_conv:=
+ dev-ml/ppxlib:=
+"
+DEPEND="${RDEPEND}"
next reply other threads:[~2023-06-30 13:15 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-06-30 13:14 Alfredo Tupone [this message]
-- strict thread matches above, loose matches on Subject: below --
2023-03-25 15:21 [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/ Arthur Zamarin
2023-03-25 15:19 Arthur Zamarin
2023-03-25 15:16 Arthur Zamarin
2023-03-25 15:16 Arthur Zamarin
2023-03-16 13:42 Alfredo Tupone
2022-04-24 14:19 Alfredo Tupone
2021-01-24 13:13 Alfredo Tupone
2020-10-28 3:36 Sam James
2020-10-24 0:38 Sam James
2020-10-17 1:16 Sam James
2020-10-15 12:42 Sam James
2020-10-15 1:19 Sam James
2020-10-13 12:54 Mark Wright
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1688130849.25411bbc9f3929c49a3d2247e8ee2b85862ad344.tupone@gentoo \
--to=tupone@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox