diff --git a/dune-project b/dune-project index a34ed28a..16ac3e77 100644 --- a/dune-project +++ b/dune-project @@ -26,7 +26,7 @@ (odoc :with-doc) (hmap :with-test) picos - picos_sync + picos_std (mdx (and (>= 1.9.0) diff --git a/moonpool.opam b/moonpool.opam index 70ed53b0..9ca18dad 100644 --- a/moonpool.opam +++ b/moonpool.opam @@ -19,7 +19,7 @@ depends: [ "odoc" {with-doc} "hmap" {with-test} "picos" - "picos_sync" + "picos_std" "mdx" {>= "1.9.0" & with-test} ] depopts: [