gnu: Remove ocaml4.07-core-kernel.

* gnu/packages/ocaml.scm (ocaml4.07-core-kernel): Remove variable.
(ocaml-core-kernel)[properties]: Remove variant.

Change-Id: Ia3c7b3fd2f5b3712c46e091f707961bc18123296
This commit is contained in:
Julien Lepiller 2023-12-24 14:18:52 +01:00
parent dc0a6dc61b
commit 560a6c4962
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82

View file

@ -8313,8 +8313,7 @@ (define-public ocaml-core-kernel
`(#:tests? #f))
(propagated-inputs
(list ocaml-base ocaml-core ocaml-int-repr ocaml-ppx-jane))
(properties `((upstream-name . "core_kernel")
(ocaml4.07-variant . ,(delay ocaml4.07-core-kernel))))
(properties `((upstream-name . "core_kernel")))
(home-page "https://github.com/janestreet/core_kernel")
(synopsis "Portable standard library for OCaml")
(description "Core is an alternative to the OCaml standard library.
@ -8323,46 +8322,6 @@ (define-public ocaml-core-kernel
the full Core is not available, such as in Javascript.")
(license license:expat)))
(define-public ocaml4.07-core-kernel
(package-with-ocaml4.07
(package
(inherit ocaml-core-kernel)
(version "0.11.1")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/janestreet/core_kernel")
(commit (string-append "v" version))))
(file-name (git-file-name "ocaml4.07-core-kernel" version))
(sha256
(base32
"1dg7ygy7i64c5gaakb1cp1b26p9ks81vbxmb8fd7jff2q60j2z2g"))))
(propagated-inputs
(list ocaml-base
ocaml-bin-prot
ocaml4.07-configurator
ocaml-fieldslib
ocaml-jane-street-headers
ocaml-ppx-assert
ocaml-ppx-base
ocaml-ppx-hash
ocaml-ppx-inline-test
ocaml-ppx-jane
ocaml-ppx-sexp-conv
ocaml-ppx-sexp-message
ocaml-sexplib
ocaml-splittable-random
ocaml-stdio
ocaml-typerep
ocaml-variantslib
ocaml-migrate-parsetree))
(properties '())
(license (list
;; this package and parts of OCaml, relicensed by janestreet
license:asl2.0
;; MLton and sjs
license:expat)))))
(define-public ocaml-core-unix
(package
(name "ocaml-core-unix")