From 0ceb095cb4fb9d2c49c699c0cc4fe3f5368c292d Mon Sep 17 00:00:00 2001 From: Carine Morel Date: Mon, 16 Jan 2023 17:09:51 +0100 Subject: [PATCH] Add missing dependencies. --- lockfree.opam | 2 ++ 1 file changed, 2 insertions(+) diff --git a/lockfree.opam b/lockfree.opam index 606c8818..37201e17 100644 --- a/lockfree.opam +++ b/lockfree.opam @@ -18,6 +18,8 @@ depends: [ "alcotest" {>= "1.6.0"} "yojson" {>= "2.0.2"} "dscheck" {with-test & >= "0.0.1"} + "ppx_deriving" {with-test & >= "5.2.1"} + "ppx_deriving_qcheck" {with-test & >= "0.2.0"} ] depopts: [] build: ["dune" "build" "-p" name "-j" jobs]