From 24a8a854817d89ce25f8026edc0e485b8bac1675 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 29 Aug 2024 16:01:55 -0400 Subject: [PATCH] chore: depend on picos explicitly --- dune-project | 1 + moonpool.opam | 1 + 2 files changed, 2 insertions(+) diff --git a/dune-project b/dune-project index 21e85084..29650972 100644 --- a/dune-project +++ b/dune-project @@ -24,6 +24,7 @@ (qcheck-core (and :with-test (>= 0.19))) (thread-local-storage (and (>= 0.2) (< 0.3))) (odoc :with-doc) + picos (mdx (and (>= 1.9.0) diff --git a/moonpool.opam b/moonpool.opam index e7d7198d..001afec5 100644 --- a/moonpool.opam +++ b/moonpool.opam @@ -17,6 +17,7 @@ depends: [ "qcheck-core" {with-test & >= "0.19"} "thread-local-storage" {>= "0.2" & < "0.3"} "odoc" {with-doc} + "picos" "mdx" {>= "1.9.0" & with-test} ] depopts: [