diff --git a/dune-project b/dune-project index 9fe76bba..de728b25 100644 --- a/dune-project +++ b/dune-project @@ -14,7 +14,7 @@ (synopsis "Collection of concurent-safe data structures for Multicore OCaml") (depends (ocaml (>= 4.14)) - (backoff (>= 0.1.0)) + (backoff (>= 0.1.1)) (multicore-magic (>= 2.3.0)) (alcotest (and (>= 1.7.0) :with-test)) (domain_shims (and (>= 0.1.0) :with-test)) @@ -25,7 +25,8 @@ (qcheck (and (>= 0.21.3) :with-test)) (qcheck-alcotest (and (>= 0.21.3) :with-test)) (qcheck-core (and (>= 0.21.3) :with-test)) - (qcheck-stm (and (>= 0.3) :with-test)) + (qcheck-stm (and (>= 0.4) :with-test)) + (qcheck-multicoretests-util (and (>= 0.4) :with-test)) (yojson (and (>= 2.0.2) :with-test)) (sherlodoc (and (>= 0.2) :with-doc)) (odoc (and (>= 2.4.1) :with-doc)))) diff --git a/saturn.opam b/saturn.opam index 0fa88fcb..04e7e293 100644 --- a/saturn.opam +++ b/saturn.opam @@ -10,7 +10,7 @@ bug-reports: "https://github.com/ocaml-multicore/saturn/issues" depends: [ "dune" {>= "3.14"} "ocaml" {>= "4.14"} - "backoff" {>= "0.1.0"} + "backoff" {>= "0.1.1"} "multicore-magic" {>= "2.3.0"} "alcotest" {>= "1.7.0" & with-test} "domain_shims" {>= "0.1.0" & with-test} @@ -21,7 +21,8 @@ depends: [ "qcheck" {>= "0.21.3" & with-test} "qcheck-alcotest" {>= "0.21.3" & with-test} "qcheck-core" {>= "0.21.3" & with-test} - "qcheck-stm" {>= "0.3" & with-test} + "qcheck-stm" {>= "0.4" & with-test} + "qcheck-multicoretests-util" {>= "0.4" & with-test} "yojson" {>= "2.0.2" & with-test} "sherlodoc" {>= "0.2" & with-doc} "odoc" {>= "2.4.1" & with-doc}