Fix tezt version

GuillaumeGen · Dec 5, 2023 · 7f9036a · 7f9036a
1 parent 638edcc
commit 7f9036a
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/dedukti.opam b/dedukti.opam
@@ -11,7 +11,7 @@ depends: [
   "dune" {>= "2.7"}
   "ocaml" {>= "4.08"}
   "cmdliner" {>= "1.1.0"}
-  "tezt" {with-test & >= "4.0"}
+  "tezt" {with-test & = "4.0.0"}
   "menhir" {>= "20180528"}
   "odoc" {with-doc}
 ]

diff --git a/dune-project b/dune-project
@@ -14,7 +14,7 @@
     (depends
       (ocaml (>= 4.08))
       (cmdliner (>= 1.1.0))
-      (tezt (and :with-test (>= 4.0)))
+      (tezt (and :with-test (= 4.0.0)))
       (menhir (>= 20180528)))
     (synopsis "An implementation of The Lambda-Pi Modulo Theory")
     (description "An implementation of The Lambda-Pi Modulo Theory"))
@@ -27,4 +27,4 @@
           (ocaml (>= 4.08))
           (dedukti (>= 2.7))
           (z3 (>= 4.8.11))
-          (tezt (and :with-test (>= 4.0)))))
+          (tezt (and :with-test (= 4.0.0)))))
diff --git a/universo.opam b/universo.opam
@@ -12,7 +12,7 @@ depends: [
   "ocaml" {>= "4.08"}
   "dedukti" {>= "2.7"}
   "z3" {>= "4.8.11"}
-  "tezt" {with-test & >= "4.0"}
+  "tezt" {with-test & = "4.0.0"}
   "odoc" {with-doc}
 ]
 build: [