Use fmt 0.9.0 to prevent conflict with the result library (OCamlPro#802)

* conflict with result < 1.5 * Use fmt >= 0.9.0
Halbaroth · Sep 15, 2023 · 0468694 · 0468694
1 parent 9147090
commit 0468694
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam
@@ -23,7 +23,7 @@ depends: [
   "ocplib-simplex" {>= "0.5"}
   "zarith" {>= "1.4"}
   "seq"
-  "fmt"
+  "fmt" {>= "0.9.0"}
   "stdlib-shims"
   "ppx_blob" {>= "0.7.2"}
   "camlzip" {>= "1.07"}

diff --git a/dune-project b/dune-project
@@ -83,7 +83,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
   (ocplib-simplex (>= 0.5))
   (zarith (>= 1.4))
   seq
-  fmt
+  (fmt (>= 0.9.0))
   stdlib-shims
   (ppx_blob (>= 0.7.2))
   (camlzip (>= 1.07))