aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2023-12-25 11:48:21 +0100
committerJulien Lepiller <julien@lepiller.eu>2023-12-30 22:12:47 +0100
commit29a82bf5fcc4c6d000e93b2c5bcd791cac926fa3 (patch)
tree23f15ac3a1f32cd76850bce13231f4dfd81eba0c /gnu/packages
parent3936d07da2220c7a130f579f438f47862b69e1b8 (diff)
downloadguix-29a82bf5fcc4c6d000e93b2c5bcd791cac926fa3.tar.gz
guix-29a82bf5fcc4c6d000e93b2c5bcd791cac926fa3.zip
gnu: Remove ocaml4.07-cmdliner.
* gnu/packages/ocaml.scm (ocaml4.07-cmdliner): Remove variable. (ocaml-cmdliner)[properties]: Remove variant. Change-Id: I83cd2ca87356a103201b3c1ffb1a8de4b081a9da
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/ocaml.scm15
1 files changed, 0 insertions, 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")