Add upper bound on alt-ergo-lib

Gbury · Gbury · commit 6aa206a82a9d · 2024-06-17T17:43:00.000+02:00
diff --git a/packages/alt-ergo-lib/alt-ergo-lib.2.5.0/opam b/packages/alt-ergo-lib/alt-ergo-lib.2.5.0/opam
@@ -17,9 +17,9 @@ depends: [
   "ocaml" {>= "4.08.0"}
   "dune" {>= "3.0"}
   "dune-build-info"
-  "dolmen" {>= "0.9"}
-  "dolmen_type" {>= "0.9"}
-  "dolmen_loop" {>= "0.9"}
+  "dolmen" {>= "0.9" & < "0.10" }
+  "dolmen_type" {>= "0.9" & < "0.10" }
+  "dolmen_loop" {>= "0.9" & < "0.10" }
   "ocplib-simplex" {>= "0.5"}
   "zarith" {>= "1.11"}
   "seq"
diff --git a/packages/alt-ergo-lib/alt-ergo-lib.2.5.1/opam b/packages/alt-ergo-lib/alt-ergo-lib.2.5.1/opam
@@ -15,9 +15,9 @@ depends: [
   "ocaml" {>= "4.08.0"}
   "dune" {>= "3.0"}
   "dune-build-info"
-  "dolmen" {>= "0.9"}
-  "dolmen_type" {>= "0.9"}
-  "dolmen_loop" {>= "0.9"}
+  "dolmen" {>= "0.9" & < "0.10" }
+  "dolmen_type" {>= "0.9" & < "0.10" }
+  "dolmen_loop" {>= "0.9" & < "0.10" }
   "ocplib-simplex" {>= "0.5"}
   "zarith" {>= "1.11"}
   "seq"
diff --git a/packages/alt-ergo-lib/alt-ergo-lib.2.5.2/opam b/packages/alt-ergo-lib/alt-ergo-lib.2.5.2/opam
@@ -15,9 +15,9 @@ depends: [
   "ocaml" {>= "4.08.0"}
   "dune" {>= "3.0"}
   "dune-build-info"
-  "dolmen" {>= "0.9"}
-  "dolmen_type" {>= "0.9"}
-  "dolmen_loop" {>= "0.9"}
+  "dolmen" {>= "0.9" & < "0.10" }
+  "dolmen_type" {>= "0.9" & < "0.10" }
+  "dolmen_loop" {>= "0.9" & < "0.10" }
   "ocplib-simplex" {>= "0.5"}
   "zarith" {>= "1.11"}
   "seq"
