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
This commit is contained in:
Julien Lepiller 2023-12-24 14:14:43 +01:00
parent e63133a6cc
commit fa126caee1
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82

View file

@ -8121,8 +8121,7 @@ (define-public ocaml-splittable-random
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 @@ (define-public ocaml-splittable-random
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")