diff --git a/packages/qcheck-alcotest/qcheck-alcotest.0.18.1/opam b/packages/qcheck-alcotest/qcheck-alcotest.0.18.1/opam index 76bc1984c96..55b4a5dcae2 100644 --- a/packages/qcheck-alcotest/qcheck-alcotest.0.18.1/opam +++ b/packages/qcheck-alcotest/qcheck-alcotest.0.18.1/opam @@ -13,7 +13,7 @@ tags: [ build: [ ["dune" "build" "-p" name "-j" jobs] ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"} ] depends: [ "dune" { >= "2.2" } diff --git a/packages/qcheck-alcotest/qcheck-alcotest.0.18/opam b/packages/qcheck-alcotest/qcheck-alcotest.0.18/opam index 23f170a0d05..5c0cdbbaf7a 100644 --- a/packages/qcheck-alcotest/qcheck-alcotest.0.18/opam +++ b/packages/qcheck-alcotest/qcheck-alcotest.0.18/opam @@ -13,7 +13,7 @@ tags: [ build: [ ["dune" "build" "-p" name "-j" jobs] ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"} ] depends: [ "dune" { >= "2.2" } diff --git a/packages/qcheck-alcotest/qcheck-alcotest.0.19/opam b/packages/qcheck-alcotest/qcheck-alcotest.0.19/opam index 7ba792d0446..c68a7482ce1 100644 --- a/packages/qcheck-alcotest/qcheck-alcotest.0.19/opam +++ b/packages/qcheck-alcotest/qcheck-alcotest.0.19/opam @@ -19,7 +19,7 @@ depends: [ build: [ ["dune" "build" "-p" name "-j" jobs] ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"} ] dev-repo: "git+https://github.com/c-cube/qcheck.git" url { diff --git a/packages/qcheck-core/qcheck-core.0.18.1/opam b/packages/qcheck-core/qcheck-core.0.18.1/opam index 04662a21e5f..47189c9f735 100644 --- a/packages/qcheck-core/qcheck-core.0.18.1/opam +++ b/packages/qcheck-core/qcheck-core.0.18.1/opam @@ -12,7 +12,7 @@ tags: [ build: [ ["dune" "build" "-p" name "-j" jobs] ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"} ] depends: [ "dune" { >= "2.2" } diff --git a/packages/qcheck-core/qcheck-core.0.18/opam b/packages/qcheck-core/qcheck-core.0.18/opam index 51b41094f49..610a094f105 100644 --- a/packages/qcheck-core/qcheck-core.0.18/opam +++ b/packages/qcheck-core/qcheck-core.0.18/opam @@ -12,7 +12,7 @@ tags: [ build: [ ["dune" "build" "-p" name "-j" jobs] ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"} ] depends: [ "dune" { >= "2.2" } diff --git a/packages/qcheck-core/qcheck-core.0.19/opam b/packages/qcheck-core/qcheck-core.0.19/opam index 9bf1620a086..64f36395d86 100644 --- a/packages/qcheck-core/qcheck-core.0.19/opam +++ b/packages/qcheck-core/qcheck-core.0.19/opam @@ -21,7 +21,7 @@ conflicts: [ build: [ ["dune" "build" "-p" name "-j" jobs] ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"} ] dev-repo: "git+https://github.com/c-cube/qcheck.git" url { diff --git a/packages/qcheck-ounit/qcheck-ounit.0.18.1/opam b/packages/qcheck-ounit/qcheck-ounit.0.18.1/opam index db9726bc068..09bd51235e0 100644 --- a/packages/qcheck-ounit/qcheck-ounit.0.18.1/opam +++ b/packages/qcheck-ounit/qcheck-ounit.0.18.1/opam @@ -12,7 +12,7 @@ tags: [ build: [ ["dune" "build" "-p" name "-j" jobs] ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"} ] depends: [ "dune" { >= "2.2" } diff --git a/packages/qcheck-ounit/qcheck-ounit.0.18/opam b/packages/qcheck-ounit/qcheck-ounit.0.18/opam index 1cbb5efb9ad..a50127a338c 100644 --- a/packages/qcheck-ounit/qcheck-ounit.0.18/opam +++ b/packages/qcheck-ounit/qcheck-ounit.0.18/opam @@ -12,7 +12,7 @@ tags: [ build: [ ["dune" "build" "-p" name "-j" jobs] ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"} ] depends: [ "dune" { >= "2.2" } diff --git a/packages/qcheck-ounit/qcheck-ounit.0.19/opam b/packages/qcheck-ounit/qcheck-ounit.0.19/opam index 27658f420ee..4ed49931771 100644 --- a/packages/qcheck-ounit/qcheck-ounit.0.19/opam +++ b/packages/qcheck-ounit/qcheck-ounit.0.19/opam @@ -19,7 +19,7 @@ depends: [ build: [ ["dune" "build" "-p" name "-j" jobs] ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"} ] dev-repo: "git+https://github.com/c-cube/qcheck.git" url { diff --git a/packages/qcheck/qcheck.0.18.1/opam b/packages/qcheck/qcheck.0.18.1/opam index 040c07e2cbc..8e5aeeaf7ba 100644 --- a/packages/qcheck/qcheck.0.18.1/opam +++ b/packages/qcheck/qcheck.0.18.1/opam @@ -12,7 +12,7 @@ tags: [ build: [ ["dune" "build" "-p" name "-j" jobs] ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"} ] depends: [ "dune" { >= "2.2" } diff --git a/packages/qcheck/qcheck.0.18/opam b/packages/qcheck/qcheck.0.18/opam index fbbf641fe34..186f801a724 100644 --- a/packages/qcheck/qcheck.0.18/opam +++ b/packages/qcheck/qcheck.0.18/opam @@ -12,7 +12,7 @@ tags: [ build: [ ["dune" "build" "-p" name "-j" jobs] ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"} ] depends: [ "dune" { >= "2.2" } diff --git a/packages/qcheck/qcheck.0.19/opam b/packages/qcheck/qcheck.0.19/opam index 33de87d1d80..99df43ff594 100644 --- a/packages/qcheck/qcheck.0.19/opam +++ b/packages/qcheck/qcheck.0.19/opam @@ -23,7 +23,7 @@ conflicts: [ build: [ ["dune" "build" "-p" name "-j" jobs] ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc} - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"} ] dev-repo: "git+https://github.com/c-cube/qcheck.git" url {