summaryrefslogtreecommitdiff
path: root/gemini/dune
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@rak.ac>2020-06-12 21:49:54 -0400
committerRyan Kavanagh <rak@rak.ac>2020-06-12 21:49:54 -0400
commit4f1f13ae89c4649b52cbdeb66e9b076162c55cba (patch)
tree14a9ab5408572dd46842b3bb6d226aa67f0104b6 /gemini/dune
parentRevert "Refactor transactions to use conduit" (diff)
tls is fixed thanks to upstream
Diffstat (limited to 'gemini/dune')
-rw-r--r--gemini/dune13
1 files changed, 12 insertions, 1 deletions
diff --git a/gemini/dune b/gemini/dune
index 7e15878..2025fa9 100644
--- a/gemini/dune
+++ b/gemini/dune
@@ -1,4 +1,15 @@
(library
(name gemini)
- (libraries base angstrom angstrom-lwt-unix lwt lwt_ppx mirage-crypto-pk ptime stdlib tls.lwt uri)
+ (libraries
+ base
+ angstrom
+ angstrom-lwt-unix
+ lwt
+ lwt_ppx
+ mirage-crypto-pk
+ mirage-crypto-rng.lwt
+ ptime
+ stdlib
+ tls.lwt
+ uri)
(preprocess (pps lwt_ppx)))