From 36b8f5c646703b72c1ca9a098254f7e6209241cd Mon Sep 17 00:00:00 2001
From: Carine Morel <carine@tarides.com>
Date: Tue, 2 Jul 2024 17:51:27 +0200
Subject: [PATCH] dscheck deps.

---
 dune-project                          | 3 ++-
 multicore-magic-dscheck.opam          | 7 ++++---
 multicore-magic-dscheck.opam.template | 4 ++--
 3 files changed, 8 insertions(+), 6 deletions(-)

diff --git a/dune-project b/dune-project
index 651e739..7b64a9a 100644
--- a/dune-project
+++ b/dune-project
@@ -51,4 +51,5 @@
    (>= 4.12.0))
   ;; Test dependencies
   (multicore-magic
-   (>= 2.2.0))))
+   (>= 2.2.0))
+   (dscheck (= dev))))
diff --git a/multicore-magic-dscheck.opam b/multicore-magic-dscheck.opam
index c4557e2..2b2727d 100644
--- a/multicore-magic-dscheck.opam
+++ b/multicore-magic-dscheck.opam
@@ -1,7 +1,7 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
 synopsis:
-  "A implementation of multicore-magic API using the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magic."
+  "A implementation of multicore-magic API using the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magic"
 maintainer: ["Vesa Karvonen <vesa.a.j.k@gmail.com>"]
 authors: ["Vesa Karvonen <vesa.a.j.k@gmail.com>"]
 license: "ISC"
@@ -11,6 +11,7 @@ depends: [
   "dune" {>= "3.14"}
   "ocaml" {>= "4.12.0"}
   "multicore-magic" {>= "2.2.0"}
+  "dscheck" {= "dev"}
   "odoc" {with-doc}
 ]
 build: [
@@ -30,6 +31,6 @@ build: [
 dev-repo: "git+https://github.com/ocaml-multicore/multicore-magic.git"
 pin-depends:
   [
-  "dscheck.~dev"
-  "git+https://github.com/lyrm/dscheck.git#make_contended"
+  "dscheck.dev"
+  "git+https://github.com/lyrm/dscheck.git#d325890d36267dc0d4d76cbd38860ee67cee731e"
   ]
\ No newline at end of file
diff --git a/multicore-magic-dscheck.opam.template b/multicore-magic-dscheck.opam.template
index 589e962..3d6318b 100644
--- a/multicore-magic-dscheck.opam.template
+++ b/multicore-magic-dscheck.opam.template
@@ -1,5 +1,5 @@
 pin-depends:
   [
-  "dscheck.~dev"
-  "git+https://github.com/lyrm/dscheck.git#make_contended"
+  "dscheck.dev"
+  "git+https://github.com/lyrm/dscheck.git#d325890d36267dc0d4d76cbd38860ee67cee731e"
   ]
\ No newline at end of file