tls-mirage does not exist yet, but tls.mirage

This commit is contained in:
Hannes Mehnert 2019-10-05 22:20:23 +02:00
parent 158c4a5bb5
commit 89278eed14
2 changed files with 1 additions and 2 deletions

View file

@ -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"}

View file

@ -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))