From e63133a6cc202b9d4bd2c597317ff2ad16eb7065 Mon Sep 17 00:00:00 2001 From: Julien Lepiller Date: Sun, 24 Dec 2023 14:13:53 +0100 Subject: [PATCH] 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 --- gnu/packages/ocaml.scm | 22 ---------------------- 1 file changed, 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 @@ (define-public ocaml-lambda-term 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 @@ (define-public ocaml-lambda-term 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")