* [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/
@ 2020-10-13 12:54 Mark Wright
0 siblings, 0 replies; 14+ messages in thread
From: Mark Wright @ 2020-10-13 12:54 UTC (permalink / raw
To: gentoo-commits
commit: 4eb08604c7be3173d8a667a683be8b19a76f6401
Author: Mark Wright <gienah <AT> gentoo <DOT> org>
AuthorDate: Tue Oct 13 06:59:19 2020 +0000
Commit: Mark Wright <gienah <AT> gentoo <DOT> org>
CommitDate: Tue Oct 13 12:53:45 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4eb08604
dev-ml/splittable_random: Dependency of dev-ml/base_quickcheck
Co-Author: Alexis Ballier <aballier <AT> gentoo.org>
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Mark Wright <gienah <AT> gentoo.org>
dev-ml/splittable_random/Manifest | 1 +
dev-ml/splittable_random/metadata.xml | 11 ++++++++++
.../splittable_random-0.14.0.ebuild | 24 ++++++++++++++++++++++
3 files changed, 36 insertions(+)
diff --git a/dev-ml/splittable_random/Manifest b/dev-ml/splittable_random/Manifest
new file mode 100644
index 00000000000..4b4e0584857
--- /dev/null
+++ b/dev-ml/splittable_random/Manifest
@@ -0,0 +1 @@
+DIST splittable_random-0.14.0.tar.gz 9942 BLAKE2B 3147e290cbf7a6e2ce8994ce0f95f392a4f7f24f7c2b6fd1b5394ec537e8be7efbefebcb8f2794e026cdd30596e6defde86126646b19f6d299ee79dbaa4d4bb7 SHA512 c8c006bba0f74e53892d9fd364de4d822182ce5371deae4f5d881d59ad6b9a8a429ac6aca54ae95edf312565b87e89a2c2546a349b2e6de2a78ece0655a09b94
diff --git a/dev-ml/splittable_random/metadata.xml b/dev-ml/splittable_random/metadata.xml
new file mode 100644
index 00000000000..22ce63f341b
--- /dev/null
+++ b/dev-ml/splittable_random/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="person">
+ <email>gienah@gentoo.org</email>
+ <name>Mark Wright</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">janestreet/splittable_random</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/splittable_random/splittable_random-0.14.0.ebuild b/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
new file mode 100644
index 00000000000..ae0ef5567b6
--- /dev/null
+++ b/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+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/${PV}"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+RDEPEND="
+ dev-ml/base:=
+ dev-ml/ppx_assert:=
+ dev-ml/ppx_bench:=
+ dev-ml/ppx_inline_test:=
+ dev-ml/ppx_sexp_message:=
+"
+DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/
@ 2020-10-15 1:19 Sam James
0 siblings, 0 replies; 14+ messages in thread
From: Sam James @ 2020-10-15 1:19 UTC (permalink / raw
To: gentoo-commits
commit: 6b8cfc21959754bcca697a9ea18be525c8727699
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 15 01:16:30 2020 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Oct 15 01:16:30 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6b8cfc21
dev-ml/splittable_random: Keyword 0.14.0 arm, #748936
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/splittable_random/splittable_random-0.14.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/splittable_random/splittable_random-0.14.0.ebuild b/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
index ae0ef5567b6..16f95369aaf 100644
--- a/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
+++ b/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="Apache-2.0"
SLOT="0/${PV}"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~arm"
IUSE="+ocamlopt"
RDEPEND="
^ permalink raw reply related [flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/
@ 2020-10-15 12:42 Sam James
0 siblings, 0 replies; 14+ messages in thread
From: Sam James @ 2020-10-15 12:42 UTC (permalink / raw
To: gentoo-commits
commit: a32f9b6844a93c566d2e7bbb97330559c28c1240
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 15 12:41:34 2020 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Oct 15 12:42:00 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a32f9b68
dev-ml/splittable_random: arm64 keyworded (bug #748936)
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/splittable_random/splittable_random-0.14.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/splittable_random/splittable_random-0.14.0.ebuild b/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
index 16f95369aaf..47d8565cbdf 100644
--- a/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
+++ b/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="Apache-2.0"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm"
+KEYWORDS="~amd64 ~arm ~arm64"
IUSE="+ocamlopt"
RDEPEND="
^ permalink raw reply related [flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/
@ 2020-10-17 1:16 Sam James
0 siblings, 0 replies; 14+ messages in thread
From: Sam James @ 2020-10-17 1:16 UTC (permalink / raw
To: gentoo-commits
commit: 4e1b67c4ce7363f1937a5622b402b166e7ba5254
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 17 01:08:55 2020 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat Oct 17 01:08:55 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4e1b67c4
dev-ml/splittable_random: Keyword 0.14.0 x86, #748936
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/splittable_random/splittable_random-0.14.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/splittable_random/splittable_random-0.14.0.ebuild b/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
index 47d8565cbdf..8115149f69b 100644
--- a/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
+++ b/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="Apache-2.0"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64"
+KEYWORDS="~amd64 ~arm ~arm64 ~x86"
IUSE="+ocamlopt"
RDEPEND="
^ permalink raw reply related [flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/
@ 2020-10-24 0:38 Sam James
0 siblings, 0 replies; 14+ messages in thread
From: Sam James @ 2020-10-24 0:38 UTC (permalink / raw
To: gentoo-commits
commit: 5c373690cfe31a9a3f230e12fb53c6595257c867
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 24 00:16:14 2020 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat Oct 24 00:16:14 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5c373690
dev-ml/splittable_random: Keyword 0.14.0 ppc, #748576
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/splittable_random/splittable_random-0.14.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/splittable_random/splittable_random-0.14.0.ebuild b/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
index 8115149f69b..550d2c8b16a 100644
--- a/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
+++ b/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="Apache-2.0"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
IUSE="+ocamlopt"
RDEPEND="
^ permalink raw reply related [flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/
@ 2020-10-28 3:36 Sam James
0 siblings, 0 replies; 14+ messages in thread
From: Sam James @ 2020-10-28 3:36 UTC (permalink / raw
To: gentoo-commits
commit: bf5f2e479d241b4a765a42340d98ae829ed782e8
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 28 03:28:44 2020 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Oct 28 03:28:44 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bf5f2e47
dev-ml/splittable_random: ppc64 keyworded (bug #748576)
Package-Manager: Portage-3.0.8, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/splittable_random/splittable_random-0.14.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/splittable_random/splittable_random-0.14.0.ebuild b/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
index 550d2c8b16a..cc9e8ce123e 100644
--- a/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
+++ b/dev-ml/splittable_random/splittable_random-0.14.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="Apache-2.0"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
IUSE="+ocamlopt"
RDEPEND="
^ permalink raw reply related [flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/
@ 2021-01-24 13:13 Alfredo Tupone
0 siblings, 0 replies; 14+ messages in thread
From: Alfredo Tupone @ 2021-01-24 13:13 UTC (permalink / raw
To: gentoo-commits
commit: 3a02469ca10d5a0cc6e1d92b6d08f43cecaaf0b7
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Jan 24 13:12:41 2021 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Jan 24 13:13:07 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3a02469c
dev-ml/splittable_random: add ml as maintainer
Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/splittable_random/metadata.xml | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/dev-ml/splittable_random/metadata.xml b/dev-ml/splittable_random/metadata.xml
index 22ce63f341b..ca905a06995 100644
--- a/dev-ml/splittable_random/metadata.xml
+++ b/dev-ml/splittable_random/metadata.xml
@@ -1,6 +1,10 @@
<?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>
<maintainer type="person">
<email>gienah@gentoo.org</email>
<name>Mark Wright</name>
^ permalink raw reply related [flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/
@ 2022-04-24 14:19 Alfredo Tupone
0 siblings, 0 replies; 14+ messages in thread
From: Alfredo Tupone @ 2022-04-24 14:19 UTC (permalink / raw
To: gentoo-commits
commit: 238d27ced172b651ebe93e708e1ce31a1aeb3e26
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Apr 24 14:19:12 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Apr 24 14:19:12 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=238d27ce
dev-ml/splittable_random: 0.15.0 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/splittable_random/Manifest | 1 +
.../splittable_random-0.15.0.ebuild | 21 +++++++++++++++++++++
2 files changed, 22 insertions(+)
diff --git a/dev-ml/splittable_random/Manifest b/dev-ml/splittable_random/Manifest
index 4b4e05848579..433aeb3603c7 100644
--- a/dev-ml/splittable_random/Manifest
+++ b/dev-ml/splittable_random/Manifest
@@ -1 +1,2 @@
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
diff --git a/dev-ml/splittable_random/splittable_random-0.15.0.ebuild b/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
new file mode 100644
index 000000000000..03813b3431ca
--- /dev/null
+++ b/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2022 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-ml/ppx_bench:${SLOT}
+ dev-ml/ppx_sexp_message:${SLOT}
+"
+DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/
@ 2023-03-16 13:42 Alfredo Tupone
0 siblings, 0 replies; 14+ messages in thread
From: Alfredo Tupone @ 2023-03-16 13:42 UTC (permalink / raw
To: gentoo-commits
commit: a0c87e240ed16eda58204e0436ba831c9c12981a
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Mar 16 13:35:54 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Mar 16 13:35:54 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a0c87e24
dev-ml/splittable_random: stabilize 0.15.0 for amd64
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/splittable_random/splittable_random-0.15.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/splittable_random/splittable_random-0.15.0.ebuild b/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
index 03813b3431ca..52a199228709 100644
--- a/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
+++ b/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="Apache-2.0"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
RDEPEND="
^ permalink raw reply related [flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/
@ 2023-03-25 15:16 Arthur Zamarin
0 siblings, 0 replies; 14+ messages in thread
From: Arthur Zamarin @ 2023-03-25 15:16 UTC (permalink / raw
To: gentoo-commits
commit: ccf7f6d7d13971bc1847c36c96e5e293bee54ea2
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 25 15:16:11 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Mar 25 15:16:11 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ccf7f6d7
dev-ml/splittable_random: Stabilize 0.15.0 arm, #901557
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/splittable_random/splittable_random-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/splittable_random/splittable_random-0.15.0.ebuild b/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
index 52a199228709..76d20cbc2560 100644
--- a/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
+++ b/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="Apache-2.0"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
RDEPEND="
^ permalink raw reply related [flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/
@ 2023-03-25 15:16 Arthur Zamarin
0 siblings, 0 replies; 14+ messages in thread
From: Arthur Zamarin @ 2023-03-25 15:16 UTC (permalink / raw
To: gentoo-commits
commit: 8138e2d2edbe3cd9d1c76cf841b5a4d00dd7cf55
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 25 15:16:12 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Mar 25 15:16:12 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8138e2d2
dev-ml/splittable_random: Stabilize 0.15.0 ppc64, #901557
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/splittable_random/splittable_random-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/splittable_random/splittable_random-0.15.0.ebuild b/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
index 76d20cbc2560..d958d4f2b7db 100644
--- a/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
+++ b/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="Apache-2.0"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 arm ~arm64 ~ppc ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
RDEPEND="
^ permalink raw reply related [flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/
@ 2023-03-25 15:19 Arthur Zamarin
0 siblings, 0 replies; 14+ messages in thread
From: Arthur Zamarin @ 2023-03-25 15:19 UTC (permalink / raw
To: gentoo-commits
commit: ebfa02d4d4c4cc5ae5c73414c3fd91bb7f9191ae
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 25 15:18:58 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Mar 25 15:18:58 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ebfa02d4
dev-ml/splittable_random: Stabilize 0.15.0 x86, #901557
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/splittable_random/splittable_random-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/splittable_random/splittable_random-0.15.0.ebuild b/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
index d958d4f2b7db..6bcfb5222568 100644
--- a/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
+++ b/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="Apache-2.0"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm ~arm64 ~ppc ppc64 ~riscv ~x86"
+KEYWORDS="amd64 arm ~arm64 ~ppc ppc64 ~riscv x86"
IUSE="+ocamlopt"
RDEPEND="
^ permalink raw reply related [flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/
@ 2023-03-25 15:21 Arthur Zamarin
0 siblings, 0 replies; 14+ messages in thread
From: Arthur Zamarin @ 2023-03-25 15:21 UTC (permalink / raw
To: gentoo-commits
commit: 442410823bfaf47d85107ecbf8926e00cda09b1b
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 25 15:21:22 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Mar 25 15:21:22 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=44241082
dev-ml/splittable_random: Stabilize 0.15.0 arm64, #901557
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/splittable_random/splittable_random-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/splittable_random/splittable_random-0.15.0.ebuild b/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
index 6bcfb5222568..c632430f4806 100644
--- a/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
+++ b/dev-ml/splittable_random/splittable_random-0.15.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
LICENSE="Apache-2.0"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm ~arm64 ~ppc ppc64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
IUSE="+ocamlopt"
RDEPEND="
^ permalink raw reply related [flat|nested] 14+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/
@ 2023-06-30 13:14 Alfredo Tupone
0 siblings, 0 replies; 14+ messages in thread
From: Alfredo Tupone @ 2023-06-30 13:14 UTC (permalink / raw
To: gentoo-commits
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}"
^ permalink raw reply related [flat|nested] 14+ messages in thread
end of thread, other threads:[~2023-06-30 13:15 UTC | newest]
Thread overview: 14+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2020-10-28 3:36 [gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/ Sam James
-- strict thread matches above, loose matches on Subject: below --
2023-06-30 13:14 Alfredo Tupone
2023-03-25 15:21 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-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
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox