Uniformly require at least alcotest.1.2.0

c-cube · Jul 5, 2024 · d3211dd · d3211dd
1 parent f97eba5
commit d3211dd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/qcheck-alcotest.opam b/qcheck-alcotest.opam
@@ -21,7 +21,7 @@ depends: [
   "dune" { >= "2.8.0" }
   "base-unix"
   "qcheck-core" { = version }
-  "alcotest" {>= "0.8.1"}
+  "alcotest" {>= "1.2.0"}
   "odoc" {with-doc}
   "ocaml" {>= "4.08.0"}
 ]

diff --git a/qcheck.opam b/qcheck.opam
@@ -21,7 +21,7 @@ depends: [
   "base-unix"
   "qcheck-core" { = version }
   "qcheck-ounit" { = version }
-  "alcotest" {with-test}
+  "alcotest" {with-test & >= "1.2.0"}
   "odoc" {with-doc}
   "ocaml" {>= "4.08.0"}
 ]