diff options
Diffstat (limited to 'gnu/packages/ocaml.scm')
| -rw-r--r-- | gnu/packages/ocaml.scm | 21 |
1 files changed, 1 insertions, 20 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 3c44819f5b..7fe842550b 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -8121,8 +8121,7 @@ use in I/O and C-bindings.") ocaml-ppx-bench ocaml-ppx-inline-test ocaml-ppx-sexp-message)) - (properties `((upstream-name . "splittable_random") - (ocaml-4.07-variant . ,(delay ocaml4.07-splittable-random)))) + (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 @@ -8134,24 +8133,6 @@ This library implements a splittable pseudo-random number generator that sacrifi cryptographic-quality randomness in favor of performance.") (license license:expat))) -(define-public ocaml4.07-splittable-random - (package-with-ocaml4.07 - (package - (inherit 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")))) - (propagated-inputs - (list ocaml-base ocaml-ppx-jane ocaml-migrate-parsetree)) - (properties '()) - (license license:asl2.0)))) - (define-public ocaml-base-quickcheck (package (name "ocaml-base-quickcheck") |