Add upper bound on mtime

Mtime 2.0.0 is not yet available on the windows repo (and thus neither on the windows CI), so limiting the compatibility for now.
Gbury · Jan 16, 2023 · 59336c4 · 59336c4
1 parent 4a30cc1
commit 59336c4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dolmen_bin.opam b/dolmen_bin.opam
@@ -19,7 +19,7 @@ depends: [
   "fmt"
   "cmdliner" { >= "1.1.0" }
   "pp_loc" { >= "2.0.0" }
-  "mtime" {>= "1.1.0"}
+  "mtime" {>= "1.1.0" & < "2.0.0" }
 # These two are currently vendored
 #  "progress"
 #  "terminal"

diff --git a/vendor/progress b/vendor/progress