From af0de00ab53c44cb17a568f616bdcf95efe575dc Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 27 Jun 2019 21:20:05 +0200 Subject: [PATCH] new tls-mirage --- monitoring-experiments.opam | 1 + src/dune | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/monitoring-experiments.opam b/monitoring-experiments.opam index 7eb2b27..e1c17af 100644 --- a/monitoring-experiments.opam +++ b/monitoring-experiments.opam @@ -13,6 +13,7 @@ depends: [ "metrics" "astring" {>= "0.8.3"} "tls" {>= "0.10.2"} + "tls-mirage" "mirage-clock" {>= "2.0.0"} "mirage-time-lwt" {>= "1.1.0"} "mirage-stack-lwt" {>= "1.4.0"} diff --git a/src/dune b/src/dune index 9637379..e56a720 100644 --- a/src/dune +++ b/src/dune @@ -2,5 +2,5 @@ (name monitoring_experiments) (public_name monitoring-experiments) (wrapped false) - (libraries logs metrics astring tls tls.mirage mirage-time-lwt mirage-clock + (libraries logs metrics astring tls tls-mirage mirage-time-lwt mirage-clock mirage-flow-lwt mirage-stack-lwt mirage-solo5))