Add upper bound on dolmen vrsion for colibri2/colibrics

The new 0.9 release of dolmen includes breaking changes to its API,
therefore some of its revdeps need to be constrained.

Author: Gbury

packages/colibri2/colibri2.0.4/opam

@@ -14,9 +14,9 @@ bug-reports: "https://git.frama-c.com/pub/colibrics/issues"
 depends: [
   "colibrilib" {= version}
   "containers" {>= "3.6.1"}
-  "dolmen" {>= "0.8"}
-  "dolmen_type" {>= "0.8"}
-  "dolmen_loop" {>= "0.8"}
+  "dolmen" {>= "0.8" & < "0.9" }
+  "dolmen_type" {>= "0.8" & < "0.9" }
+  "dolmen_loop" {>= "0.8" & < "0.9" }
   "cmdliner" {>= "1.1.1"}
   "base" {>= "v0.14.2" & < "v0.16.0"}
   "gen" {>= "1.0"}

packages/colibrics/colibrics.0.4/opam

@@ -8,9 +8,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.8"}
-  "dolmen_type" {>= "0.8"}
-  "dolmen_loop" {>= "0.8"}
+  "dolmen" {>= "0.8" & < "0.9" }
+  "dolmen_type" {>= "0.8" & < "0.9" }
+  "dolmen_loop" {>= "0.8" & < "0.9" }
   "dune" {>= "3.0"}
   "zarith" {>= "1.12"}
   "cmdliner" {>= "1.1.1"}