diff options
author | Julien Lepiller <julien@lepiller.eu> | 2023-12-25 11:51:26 +0100 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2023-12-30 22:13:48 +0100 |
commit | b1b2eb4040579dc95c600128b561a5d0c8eb033f (patch) | |
tree | 4798e327f55700c2ac0ee385353998dd2d3b1281 /gnu/packages | |
parent | cad3698635f1687d01ba54545d7f8512f8c402b9 (diff) | |
download | guix-b1b2eb4040579dc95c600128b561a5d0c8eb033f.tar.gz guix-b1b2eb4040579dc95c600128b561a5d0c8eb033f.zip |
gnu: Remove ocaml4.07-base.
* gnu/packages/ocaml.scm (ocaml4.07-base): Remove variable.
(ocaml-base)[properties]: Remove variant.
Change-Id: I07813a2865b3bb42e0adf75e74bfebe372f1e789
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/ocaml.scm | 22 |
1 files changed, 1 insertions, 21 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index f750159c1d..5d8237d80a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5997,8 +5997,7 @@ rules than the default pretty printer in Sexplib.") (build-system dune-build-system) (propagated-inputs (list ocaml-sexplib0)) - (properties `((ocaml4.07-variant . ,(delay ocaml4.07-base)) - (ocaml5.0-variant . ,(delay ocaml5.0-base)))) + (properties `((ocaml5.0-variant . ,(delay ocaml5.0-base)))) (synopsis "Full standard library replacement for OCaml") (description @@ -6035,25 +6034,6 @@ provided by companion libraries such as "15vsiv3q53l1bzrvqgspf3lp2104s9dzw62z3nl75f53jvjvsyf6")))) (properties '()))))) -(define-public ocaml4.07-base - (package-with-ocaml4.07 - (package - (inherit ocaml-base) - (name "ocaml-base") - (version "0.11.1") - (source - (origin - ;; version 0.11.1 is not released on ocaml.janestreet.org. - (method git-fetch) - (uri (git-reference - (url "https://github.com/janestreet/base.git") - (commit (string-append "v" version)))) - (file-name (git-file-name name version)) - (sha256 - (base32 - "0j6xb4265jr41vw4fjzak6yr8s30qrnzapnc6rl1dxy8bjai0nir")))) - (properties '())))) - (define-public ocaml-compiler-libs (package (name "ocaml-compiler-libs") |