From 59336c410a5643e619efe7f2805685683f631859 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Tue, 3 Jan 2023 16:06:24 +0100
Subject: [PATCH] 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.
---
 dolmen_bin.opam | 2 +-
 vendor/progress | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/dolmen_bin.opam b/dolmen_bin.opam
index b422f75a0..93ee137df 100644
--- 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
index 019cc6ae1..0be9e0478 160000
--- a/vendor/progress
+++ b/vendor/progress
@@ -1 +1 @@
-Subproject commit 019cc6ae1622535ce260694f19eaaec3a360ad27
+Subproject commit 0be9e047845b700a59262b77a1725d49591a010e