diff --git a/dune-project b/dune-project index 6cddc32d4..d96eedeca 100644 --- a/dune-project +++ b/dune-project @@ -47,6 +47,7 @@ and explained by some sequential interleaving.") (tags ("test" "property" "qcheck" "quickcheck" "parallelism" "sequential consistency")) (depopts base-domains) (depends + (ocaml (>= 4.14)) (qcheck-core (>= "0.20")) (qcheck-multicoretests-util (= :version)) (ppx_deriving (and :with-test (>= "5.2.1"))))) diff --git a/qcheck-lin.opam b/qcheck-lin.opam index 383733d02..c30b2e1bc 100644 --- a/qcheck-lin.opam +++ b/qcheck-lin.opam @@ -22,6 +22,7 @@ homepage: "https://github.com/ocaml-multicore/multicoretests" bug-reports: "https://github.com/ocaml-multicore/multicoretests/issues" depends: [ "dune" {>= "3.0"} + "ocaml" {>= "4.14"} "qcheck-core" {>= "0.20"} "qcheck-multicoretests-util" {= version} "ppx_deriving" {with-test & >= "5.2.1"}