Merge pull request ocaml#24734 from jmid/qcheck-revdeps-fixes

QCheck revdeps fixes
talex5 · Nov 2, 2023 · ad28d07 · ad28d07
2 parents 11ee81e + e88b6f4
commit ad28d07
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/packages/pratter/pratter.2.0.0/opam b/packages/pratter/pratter.2.0.0/opam
@@ -16,7 +16,7 @@ depends: [
   "dune" {>= "2.7"}
   "camlp-streams"
   "alcotest" {with-test}
-  "qcheck" {with-test}
+  "qcheck" {with-test & >= "0.12"}
   "qcheck-alcotest" {with-test}
   "odoc" {with-doc}
 ]

diff --git a/packages/spelll/spelll.0.4/opam b/packages/spelll/spelll.0.4/opam
@@ -11,7 +11,7 @@ depends: [
   "dune" {>= "1.1"}
   "seq"
   "stdlib-shims"
-  "qcheck" {with-test}
+  "qcheck" {with-test & >= "0.12"}
   "mdx" {with-test}
   "odoc" {with-doc}
 ]

diff --git a/packages/zar/zar.0.9.1/opam b/packages/zar/zar.0.9.1/opam
@@ -13,7 +13,7 @@ depends: [
   "ocaml" {>= "4.06"}
   "dune" {>= "3.7"}
   "alcotest" {with-test}
-  "qcheck" {with-test}
+  "qcheck" {with-test & >= "0.15"}
   "qcheck-alcotest" {with-test}
   "odoc" {with-doc}
 ]

diff --git a/packages/zar/zar.0.9.2/opam b/packages/zar/zar.0.9.2/opam
@@ -13,7 +13,7 @@ depends: [
   "ocaml" {>= "4.08"}
   "dune" {>= "3.7"}
   "alcotest" {with-test}
-  "qcheck" {with-test}
+  "qcheck" {with-test & >= "0.15"}
   "qcheck-alcotest" {with-test}
   "odoc" {with-doc}
 ]