From ccf757d99d4bf83faaefe8498280118c36f49ace Mon Sep 17 00:00:00 2001 From: zapashcanon Date: Wed, 25 Jan 2023 17:59:20 +0100 Subject: [PATCH] fix cmdliner lower bound --- dune-project | 3 ++- sun.opam | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/dune-project b/dune-project index 332aafd..56dad29 100644 --- a/dune-project +++ b/dune-project @@ -29,6 +29,7 @@ (depends (ocaml (>= 4.13)) - cmdliner + (cmdliner + (>= 1.1.0)) directories scfg)) diff --git a/sun.opam b/sun.opam index 8aa1c35..41a3101 100644 --- a/sun.opam +++ b/sun.opam @@ -12,7 +12,7 @@ bug-reports: "https://git.zapashcanon.fr/zapashcanon/sun/issues" depends: [ "dune" {>= "2.9"} "ocaml" {>= "4.13"} - "cmdliner" + "cmdliner" {>= "1.1.0"} "directories" "scfg" "odoc" {with-doc}