opam: Require OCaml 4.14 for qcheck-lin

It uses some new functions from Seq. Signed-off-by: Edwin Török <[email protected]>
ocaml-multicore · Apr 18, 2023 · 7ba5aaa · 7ba5aaa
1 parent 5854e7d
commit 7ba5aaa
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git 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
@@ -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"}