From 9add7d0d39917334ad93e3c01105d923815fe8dd Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Fri, 30 Apr 2021 11:02:26 +0200 Subject: [PATCH] require tcpip with monitoring --- monitoring-experiments.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/monitoring-experiments.opam b/monitoring-experiments.opam index af52d22..093804a 100644 --- a/monitoring-experiments.opam +++ b/monitoring-experiments.opam @@ -17,7 +17,7 @@ depends: [ "mirage-clock" {>= "3.0.0"} "mirage-time" {>= "2.0.0"} "mirage-stack" {>= "2.2.0"} - "tcpip" {>= "6.0.99"} + "tcpip" {>= "6.1.99"} "mirage-net-solo5" {>= "0.6.2"} "mirage-solo5" {>= "0.6.4"} "ocaml-freestanding" {>= "0.4.5"}