Change deps to backoff and qcheck-stm.

ocaml-multicore · Dec 4, 2024 · 52db3ec · 52db3ec
1 parent 78bbd54
commit 52db3ec
Show file tree

Hide file tree

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