From fa126caee1214e7b873e8c7287a6bca8c9259c18 Mon Sep 17 00:00:00 2001 From: Julien Lepiller Date: Sun, 24 Dec 2023 14:14:43 +0100 Subject: gnu: Remove ocaml4.07-splittable-random. * gnu/packages/ocaml.scm (ocaml4.07-splittable-random): Remove variable. (ocaml-splittable-random)[properties]: Remove variant. Change-Id: I30cd8ccdc296655a60e821544151e2a38d46d3ca --- gnu/packages/ocaml.scm | 21 +-------------------- 1 file changed, 1 insertion(+), 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") -- cgit v1.2.3