diff options
author | Julien Lepiller <julien@lepiller.eu> | 2023-12-24 14:13:53 +0100 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2023-12-30 22:08:59 +0100 |
commit | e63133a6cc202b9d4bd2c597317ff2ad16eb7065 (patch) | |
tree | 02adf7821ff6995391f45e72eb9b3953510e983f /gnu | |
parent | b4a71d1d4f27cef6694e5f8c695ca9256f0bb0e1 (diff) |
gnu: Remove ocaml4.07-lambda-term.
* gnu/packages/ocaml.scm (ocaml4.07-lambda-term): Remove variable.
(ocaml-lambda-term)[properties]: Remove variant.
Change-Id: I4c7a0a0833103acc39e48e74770f57a4b5df8f69
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/ocaml.scm | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 8a4f15edb2..3c44819f5b 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5365,7 +5365,6 @@ capabilities, Zed provides macro recording and cursor management facilities.") ocaml-odoc ocaml-react ocaml-zed)) - (properties `((ocaml4.07-variant . ,(delay ocaml4.07-lambda-term)))) (synopsis "Terminal manipulation library for OCaml") (description "Lambda-Term is a cross-platform library for manipulating the terminal. It provides an abstraction for keys, mouse events, colors, as well as @@ -5375,27 +5374,6 @@ manipulation than, for example, ncurses, by providing a native OCaml interface instead of bindings to a C library.") (license license:bsd-3))) -(define-public ocaml4.07-lambda-term - (package-with-ocaml4.07 - (package - (inherit ocaml-lambda-term) - (version "2.0.2") - (source - (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/ocaml-community/lambda-term") - (commit version))) - (file-name (git-file-name "ocaml4.07-lambda-term" version)) - (sha256 - (base32 "0zcjy6fvf0d3i2ssz96asl889n3r6bplyzk7xvb2s3dkxbgcisyy")))) - (propagated-inputs - `(("ocaml-lwt" ,ocaml-lwt) - ("ocaml-lwt-log" ,ocaml-lwt-log) - ("ocaml-lwt-react" ,ocaml-lwt-react) - ("ocaml-zed" ,ocaml-zed))) - (properties '())))) - (define-public ocaml-utop (package (name "ocaml-utop") |