From 73846153396e6019fafcff1a07380abe3998fed0 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Thu, 17 Aug 2023 08:25:28 +0200
Subject: [PATCH] =?UTF-8?q?ocamlPackages.dscheck:=200.1.0=20=E2=86=92=200.?=
 =?UTF-8?q?2.0?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 pkgs/development/ocaml-modules/dscheck/default.nix | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/ocaml-modules/dscheck/default.nix b/pkgs/development/ocaml-modules/dscheck/default.nix
index 0f74fb5e2414..a684a46fdd44 100644
--- a/pkgs/development/ocaml-modules/dscheck/default.nix
+++ b/pkgs/development/ocaml-modules/dscheck/default.nix
@@ -1,23 +1,24 @@
 { lib, fetchurl, buildDunePackage
 , containers
 , oseq
+, alcotest
 }:
 
 buildDunePackage rec {
   pname = "dscheck";
-  version = "0.1.0";
+  version = "0.2.0";
 
   minimalOCamlVersion = "5.0";
-  duneVersion = "3";
 
   src = fetchurl {
     url = "https://github.com/ocaml-multicore/dscheck/releases/download/${version}/dscheck-${version}.tbz";
-    hash = "sha256-zoouFZJcUp71yeluVb1xLUIMcFv99OpkcQQCHkPTKcI=";
+    hash = "sha256-QgkbnD3B1lONg9U60BM2xWVgIt6pZNmOmxkKy+UJH9E=";
   };
 
   propagatedBuildInputs = [ containers oseq ];
 
   doCheck = true;
+  checkInputs = [ alcotest ];
 
   meta = {
     description = "Traced atomics";