aboutsummaryrefslogtreecommitdiff
path: root/wormhole.opam
diff options
context:
space:
mode:
authorMarc Coquand <marcc@fastmail.fr>2023-12-02 13:08:13 -0600
committerMarc Coquand <marcc@fastmail.fr>2023-12-02 13:08:13 -0600
commit11d14f6dd8581715e5241f1fc780a14bf4cc40a2 (patch)
tree32d20403bd99b766a2c52c90a02726653713c16d /wormhole.opam
parent3fd0ae419ff2dadb0a566a28c042333affbb03b4 (diff)
downloadwormhole-11d14f6dd8581715e5241f1fc780a14bf4cc40a2.tar.gz
wormhole-11d14f6dd8581715e5241f1fc780a14bf4cc40a2.tar.bz2
wormhole-11d14f6dd8581715e5241f1fc780a14bf4cc40a2.zip
Add initial auth
Diffstat (limited to 'wormhole.opam')
-rw-r--r--wormhole.opam5
1 files changed, 5 insertions, 0 deletions
diff --git a/wormhole.opam b/wormhole.opam
index 7a549cf..46045e1 100644
--- a/wormhole.opam
+++ b/wormhole.opam
@@ -17,6 +17,11 @@ depends: [
"cohttp"
"cohttp-lwt-unix"
"odoc" {with-doc}
+ "containers"
+ "calendar"
+ "ptime"
+ "mirage-crypto-rng" {>= "0.11.0"}
+ "mirage-crypto-rng-lwt" {>= "0.11.0"}
]
build: [
["dune" "subst"] {dev}