From 189179574d847e8e9662cf78804ce9371fac988d Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Sat, 2 Dec 2023 11:25:36 -0600 Subject: Add user --- lib/dune | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'lib/dune') diff --git a/lib/dune b/lib/dune index 2bcd146..441cc53 100644 --- a/lib/dune +++ b/lib/dune @@ -1,5 +1,4 @@ (library (name wormhole) - (libraries uri) - (modules Post) + (libraries uri cohttp cohttp-lwt-unix) (preprocess (pps lwt_ppx ppx_yojson_conv))) -- cgit v1.2.3