[gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/

2023-06-30 Thread Alfredo Tupone 
commit: 25411bbc9f3929c49a3d2247e8ee2b85862ad344
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Jun 30 13:00:21 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Jun 30 13:14:09 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=25411bbc

dev-ml/splittable_random: add 0.16.0

Signed-off-by: Alfredo Tupone  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 ..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}"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/

2023-03-25 Thread Arthur Zamarin 
commit: 442410823bfaf47d85107ecbf8926e00cda09b1b
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Mar 25 15:21:22 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Mar 25 15:21:22 2023 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/

2023-03-25 Thread Arthur Zamarin 
commit: ebfa02d4d4c4cc5ae5c73414c3fd91bb7f9191ae
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Mar 25 15:18:58 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Mar 25 15:18:58 2023 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/

2023-03-25 Thread Arthur Zamarin 
commit: ccf7f6d7d13971bc1847c36c96e5e293bee54ea2
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Mar 25 15:16:11 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Mar 25 15:16:11 2023 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/

2023-03-25 Thread Arthur Zamarin 
commit: 8138e2d2edbe3cd9d1c76cf841b5a4d00dd7cf55
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Mar 25 15:16:12 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Mar 25 15:16:12 2023 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/

2023-03-16 Thread Alfredo Tupone 
commit: a0c87e240ed16eda58204e0436ba831c9c12981a
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Thu Mar 16 13:35:54 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Thu Mar 16 13:35:54 2023 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/

2022-04-24 Thread Alfredo Tupone 
commit: 238d27ced172b651ebe93e708e1ce31a1aeb3e26
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Apr 24 14:19:12 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Apr 24 14:19:12 2022 +
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  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 ..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}"

[gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/

2021-01-24 Thread Alfredo Tupone 
commit: 3a02469ca10d5a0cc6e1d92b6d08f43cecaaf0b7
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Jan 24 13:12:41 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Jan 24 13:13:07 2021 +
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  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 @@
 
 http://www.gentoo.org/dtd/metadata.dtd;>
 
+   
+   m...@gentoo.org
+   ML
+   

gie...@gentoo.org
Mark Wright

[gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/

2020-10-27 Thread Sam James 
commit: bf5f2e479d241b4a765a42340d98ae829ed782e8
Author: Sam James  gentoo  org>
AuthorDate: Wed Oct 28 03:28:44 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Wed Oct 28 03:28:44 2020 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/

2020-10-23 Thread Sam James 
commit: 5c373690cfe31a9a3f230e12fb53c6595257c867
Author: Sam James  gentoo  org>
AuthorDate: Sat Oct 24 00:16:14 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Sat Oct 24 00:16:14 2020 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/

2020-10-16 Thread Sam James 
commit: 4e1b67c4ce7363f1937a5622b402b166e7ba5254
Author: Sam James  gentoo  org>
AuthorDate: Sat Oct 17 01:08:55 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Sat Oct 17 01:08:55 2020 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/

2020-10-15 Thread Sam James 
commit: a32f9b6844a93c566d2e7bbb97330559c28c1240
Author: Sam James  gentoo  org>
AuthorDate: Thu Oct 15 12:41:34 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Oct 15 12:42:00 2020 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/

2020-10-14 Thread Sam James 
commit: 6b8cfc21959754bcca697a9ea18be525c8727699
Author: Sam James  gentoo  org>
AuthorDate: Thu Oct 15 01:16:30 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Oct 15 01:16:30 2020 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/splittable_random/

2020-10-13 Thread Mark Wright 
commit: 4eb08604c7be3173d8a667a683be8b19a76f6401
Author: Mark Wright  gentoo  org>
AuthorDate: Tue Oct 13 06:59:19 2020 +
Commit: Mark Wright  gentoo  org>
CommitDate: Tue Oct 13 12:53:45 2020 +
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  gentoo.org>
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Mark Wright  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 000..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 000..22ce63f341b
--- /dev/null
+++ b/dev-ml/splittable_random/metadata.xml
@@ -0,0 +1,11 @@
+
+http://www.gentoo.org/dtd/metadata.dtd;>
+
+   
+   gie...@gentoo.org
+   Mark Wright
+   
+   
+   janestreet/splittable_random
+   
+

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 000..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}"