From 89278eed14df6daa6d47595950bdf588c4b71746 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sat, 5 Oct 2019 22:20:23 +0200 Subject: [PATCH] tls-mirage does not exist yet, but tls.mirage --- monitoring-experiments.opam | 1 - src/dune | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/monitoring-experiments.opam b/monitoring-experiments.opam index 34b9818..ab73a5d 100644 --- a/monitoring-experiments.opam +++ b/monitoring-experiments.opam @@ -13,7 +13,6 @@ 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 e56a720..9637379 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))