From 189179574d847e8e9662cf78804ce9371fac988d Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Sat, 2 Dec 2023 11:25:36 -0600 Subject: Add user --- wormhole.opam | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'wormhole.opam') diff --git a/wormhole.opam b/wormhole.opam index 77342ae..f26a552 100644 --- a/wormhole.opam +++ b/wormhole.opam @@ -11,9 +11,10 @@ doc: "https://url/to/documentation" bug-reports: "https://github.com/username/reponame/issues" depends: [ "ocaml" - "dream" "dune" {>= "3.11"} "ppx_yojson_conv" + "cohttp" + "cohttp-lwt-unix" "odoc" {with-doc} ] build: [ -- cgit v1.2.3