From 7e7f7c7743700925c1e11dcb4e7fca2d2301d97f Mon Sep 17 00:00:00 2001
From: Carine Morel <carine@tarides.com>
Date: Thu, 21 Nov 2024 19:17:12 +0100
Subject: [PATCH] Change deps to backoff and qcheck-stm.

---
 dune-project | 5 ++---
 saturn.opam  | 4 ++--
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/dune-project b/dune-project
index 2eceb755..967e0eba 100644
--- a/dune-project
+++ b/dune-project
@@ -9,13 +9,12 @@
 (documentation "https://ocaml-multicore.github.io/saturn/")
 (using mdx 0.4)
 
-
 (package
  (name saturn)
  (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))
@@ -26,7 +25,7 @@
   (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))
   (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..1aa2a989 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,7 @@ 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}
   "yojson" {>= "2.0.2" & with-test}
   "sherlodoc" {>= "0.2" & with-doc}
   "odoc" {>= "2.4.1" & with-doc}