Fix dolmen version

colibrics.opam

@@ -9,9 +9,9 @@ homepage: "https://colibri.frama-c.com"
 bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
 depends: [
   "ppx_deriving_yojson" {>= "3.6.1"}
-  "dolmen" {>= "0.5~dev"}
-  "dolmen_type" {>= "0.5~dev"}
-  "dolmen_loop" {>= "0.5~dev"}
+  "dolmen" {>= "0.7"}
+  "dolmen_type" {>= "0.7"}
+  "dolmen_loop" {>= "0.7"}
   "dune" {>= "3.0"}
   "zarith" {>= "1.12"}
   "cmdliner" {>= "1.1.1"}

dune-project

@@ -19,9 +19,9 @@
   (description "The core of Colibrics is formally proved using Why3.")
   (depends
     ("ppx_deriving_yojson" (>= "3.6.1"))
-    ("dolmen" (>= "0.5~dev"))
-    ("dolmen_type" (>= "0.5~dev"))
-    ("dolmen_loop" (>= "0.5~dev"))
+    ("dolmen" (>= "0.7"))
+    ("dolmen_type" (>= "0.7"))
+    ("dolmen_loop" (>= "0.7"))
     "dune"
     ("zarith" (>= "1.12"))
     ("cmdliner" (>= 1.1.1))