diff --git a/dune-project b/dune-project index 70214b4d..972ae8bb 100644 --- a/dune-project +++ b/dune-project @@ -18,7 +18,7 @@ (qcheck-stm (and (>= 0.2) :with-test)) (qcheck-alcotest (and (>= 0.18.1) :with-test)) (yojson (and (>= 2.0.2) :with-test)) - (dscheck (and (>= 0.1.0) :with-test)))) + (dscheck (and (>= 0.2.0) :with-test)))) (package (name saturn_lockfree) (synopsis "Collection of lock-free data structures for Multicore OCaml") @@ -30,4 +30,4 @@ (qcheck-stm (and (>= 0.2) :with-test)) (qcheck-alcotest (and (>= 0.18.1) :with-test)) (yojson (and (>= 2.0.2) :with-test)) - (dscheck (and (>= 0.1.0) :with-test)))) + (dscheck (and (>= 0.2.0) :with-test)))) diff --git a/saturn.opam b/saturn.opam index 8109190d..1d0f66c2 100644 --- a/saturn.opam +++ b/saturn.opam @@ -18,7 +18,7 @@ depends: [ "qcheck-stm" {>= "0.2" & with-test} "qcheck-alcotest" {>= "0.18.1" & with-test} "yojson" {>= "2.0.2" & with-test} - "dscheck" {>= "0.1.0" & with-test} + "dscheck" {>= "0.2.0" & with-test} "odoc" {with-doc} ] build: [ diff --git a/saturn_lockfree.opam b/saturn_lockfree.opam index c95e318d..7d1baf4c 100644 --- a/saturn_lockfree.opam +++ b/saturn_lockfree.opam @@ -16,7 +16,7 @@ depends: [ "qcheck-stm" {>= "0.2" & with-test} "qcheck-alcotest" {>= "0.18.1" & with-test} "yojson" {>= "2.0.2" & with-test} - "dscheck" {>= "0.1.0" & with-test} + "dscheck" {>= "0.2.0" & with-test} "odoc" {with-doc} ] build: [