summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2019-02-01 19:14:02 +0100
committerJulien Lepiller <julien@lepiller.eu>2019-02-05 22:34:20 +0100
commit5995e6d1042cc8427c2ad9ac8cc78c21f4bbe7a4 (patch)
tree6c13668fbc40925a628137aa7c9f2e17adb221e5 /gnu/packages/ocaml.scm
parent255f1cae42edce0b06a068b4d7134e2cef1c514b (diff)
gnu: Add ocaml-splittable-random.
* gnu/packages/ocaml.scm (ocaml-splittable-random): New variable.
Diffstat (limited to 'gnu/packages/ocaml.scm')
-rw-r--r--gnu/packages/ocaml.scm29
1 files changed, 29 insertions, 0 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 686be3cb59..2d12d20190 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -5946,3 +5946,32 @@ functions from type definitions.")
(description "This package installs a ppx-jane executable, which is a ppx
driver including all standard Jane Street ppx rewriters.")
(license license:asl2.0)))
+
+(define-public ocaml-splittable-random
+ (package
+ (name "ocaml-splittable-random")
+ (version "0.11.0")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
+ (version-major+minor version)
+ "/files/splittable_random-v" version ".tar.gz"))
+ (sha256
+ (base32
+ "0l1wbd881mymlnpzlq5q53mmdz3g5d7qjhyc7lfaq1x0iaccn5lc"))))
+ (build-system dune-build-system)
+ (propagated-inputs
+ `(("ocaml-base" ,ocaml-base)
+ ("ocaml-ppx-jane" ,ocaml-ppx-jane)
+ ("ocaml-migrate-parsetree" ,ocaml-migrate-parsetree)))
+ (properties `((upstream-name . "splittable_random")))
+ (home-page "https://github.com/janestreet/splittable_random")
+ (synopsis "PRNG that can be split into independent streams")
+ (description "This package provides a splittable pseudo-random number generator
+(@defn{PRNG}) functions like a PRNG that can be used as a stream of random
+values; it can also be split to produce a second, independent stream of
+random values.
+
+This library implements a splittable pseudo-random number generator that sacrifices
+cryptographic-quality randomness in favor of performance.")
+ (license license:asl2.0)))