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

View file

@ -5365,7 +5365,6 @@ (define-public ocaml-lambda-term
ocaml-odoc ocaml-odoc
ocaml-react ocaml-react
ocaml-zed)) ocaml-zed))
(properties `((ocaml4.07-variant . ,(delay ocaml4.07-lambda-term))))
(synopsis "Terminal manipulation library for OCaml") (synopsis "Terminal manipulation library for OCaml")
(description "Lambda-Term is a cross-platform library for manipulating the (description "Lambda-Term is a cross-platform library for manipulating the
terminal. It provides an abstraction for keys, mouse events, colors, as well as 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.") instead of bindings to a C library.")
(license license:bsd-3))) (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 (define-public ocaml-utop
(package (package
(name "ocaml-utop") (name "ocaml-utop")