From bba2d376f8895e0af38390ce7a0b13a193bb9829 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Thu, 5 Nov 2020 23:47:58 +0100
Subject: [PATCH] adjust mirage-solo5 and mirage-net-solo5 bounds

---
 monitoring-experiments.opam | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/monitoring-experiments.opam b/monitoring-experiments.opam
index 91dab86..d81e0b5 100644
--- a/monitoring-experiments.opam
+++ b/monitoring-experiments.opam
@@ -17,9 +17,9 @@ depends: [
   "mirage-clock" {>= "3.0.0"}
   "mirage-time" {>= "2.0.0"}
   "mirage-stack" {>= "2.0.0"}
-  "tcpip" {>= "4.0.99"}
-  "mirage-net-solo5" {>= "0.6.99"}
-  "mirage-solo5" {>= "0.6.99"}
+  "tcpip" {>= "5.0.99"}
+  "mirage-net-solo5" {>= "0.6.2"}
+  "mirage-solo5" {>= "0.6.3"}
   "ocaml-freestanding" {>= "0.4.5"}
   "bheap"
 ]