Add alt-ergo-lib.opam

bclement-ocp · Mar 20, 2024 · cda68dd · cda68dd
1 parent 72172de
commit cda68dd
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.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"}
+  "dolmen_type" {= "0.9"}
+  "dolmen_loop" {= "0.9"}
   "ocplib-simplex" {>= "0.5"}
   "zarith" {>= "1.11"}
   "seq"