From 48725da0c60eab1c82192e0288f35644f384893f Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Tue, 15 Mar 2022 21:53:38 +0100 Subject: [PATCH] builder: update from upstream (cmdliner 1.1.0) --- packages/{builder.0.3.1~dev => builder.0.3.2~dev}/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename packages/{builder.0.3.1~dev => builder.0.3.2~dev}/opam (97%) diff --git a/packages/builder.0.3.1~dev/opam b/packages/builder.0.3.2~dev/opam similarity index 97% rename from packages/builder.0.3.1~dev/opam rename to packages/builder.0.3.2~dev/opam index 613e210..162743f 100644 --- a/packages/builder.0.3.1~dev/opam +++ b/packages/builder.0.3.2~dev/opam @@ -12,7 +12,7 @@ depends: [ "asn1-combinators" "bheap" "bos" - "cmdliner" + "cmdliner" {>= "1.1.0"} "cstruct" "duration" "fmt"