roptat pushed a commit to branch master
in repository guix.
commit 29a82bf5fcc4c6d000e93b2c5bcd791cac926fa3
Author: Julien Lepiller <[email protected]>
AuthorDate: Mon Dec 25 11:48:21 2023 +0100
gnu: Remove ocaml4.07-cmdliner.
* gnu/packages/ocaml.scm (ocaml4.07-cmdliner): Remove variable.
(ocaml-cmdliner)[properties]: Remove variant.
Change-Id: I83cd2ca87356a103201b3c1ffb1a8de4b081a9da
---
gnu/packages/ocaml.scm | 15 ---------------
1 file changed, 15 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 7f891f34d0..46c96b87c3 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -2280,7 +2280,6 @@ dates and times.")
(("Sys.readdir dir")
"let a = Sys.readdir dir in Array.sort String.compare a; a"))
#t)))))
- (properties `((ocaml4.07-variant . ,(delay ocaml4.07-cmdliner))))
(home-page "https://erratique.ch/software/cmdliner";)
(synopsis "Declarative definition of command line interfaces for OCaml")
(description "Cmdliner is a module for the declarative definition of
command
@@ -2291,20 +2290,6 @@ generation. It supports programs with single or multiple
commands and respects
most of the POSIX and GNU conventions.")
(license license:bsd-3)))
-(define-public ocaml4.07-cmdliner
- (package-with-ocaml4.07
- (package
- (inherit ocaml-cmdliner)
- (version "1.0.4")
- (source (origin
- (method url-fetch)
- (uri (string-append
"https://erratique.ch/software/cmdliner/releases/";
- "cmdliner-" version ".tbz"))
- (sha256
- (base32
- "1h04q0zkasd0mw64ggh4y58lgzkhg6yhzy60lab8k8zq9ba96ajw"))))
- (properties '()))))
-
(define-public ocaml-fmt
(package
(name "ocaml-fmt")
