diff options
author | Julien Lepiller <julien@lepiller.eu> | 2019-02-01 19:14:02 +0100 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2019-02-05 22:34:20 +0100 |
commit | 5995e6d1042cc8427c2ad9ac8cc78c21f4bbe7a4 (patch) | |
tree | 6c13668fbc40925a628137aa7c9f2e17adb221e5 | |
parent | 255f1cae42edce0b06a068b4d7134e2cef1c514b (diff) | |
download | patches-5995e6d1042cc8427c2ad9ac8cc78c21f4bbe7a4.tar patches-5995e6d1042cc8427c2ad9ac8cc78c21f4bbe7a4.tar.gz |
gnu: Add ocaml-splittable-random.
* gnu/packages/ocaml.scm (ocaml-splittable-random): New variable.
-rw-r--r-- | gnu/packages/ocaml.scm | 29 |
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))) |