From f32f27a8acbe8794ccd8e2b769be95cdfb6855e9 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Sat, 2 Dec 2023 09:59:22 -0600 Subject: Fixes --- wormhole.opam | 1 + 1 file changed, 1 insertion(+) (limited to 'wormhole.opam') diff --git a/wormhole.opam b/wormhole.opam index 567dcdf..77342ae 100644 --- a/wormhole.opam +++ b/wormhole.opam @@ -11,6 +11,7 @@ doc: "https://url/to/documentation" bug-reports: "https://github.com/username/reponame/issues" depends: [ "ocaml" + "dream" "dune" {>= "3.11"} "ppx_yojson_conv" "odoc" {with-doc} -- cgit v1.2.3