robur/mirage-monitoring
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

adjust mirage-solo5 and mirage-net-solo5 bounds

Browse source
This commit is contained in:
Hannes Mehnert 2020-11-05 23:47:58 +01:00
parent 1002f0a571
commit bba2d376f8
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
monitoring-experiments.opam
View file

@ -17,9 +17,9 @@ depends: [
"mirage-clock" {>= "3.0.0"} "mirage-clock" {>= "3.0.0"}
"mirage-time" {>= "2.0.0"} "mirage-time" {>= "2.0.0"}
"mirage-stack" {>= "2.0.0"} "mirage-stack" {>= "2.0.0"}
"tcpip" {>= "4.0.99"} "tcpip" {>= "5.0.99"}
"mirage-net-solo5" {>= "0.6.99"} "mirage-net-solo5" {>= "0.6.2"}
"mirage-solo5" {>= "0.6.99"} "mirage-solo5" {>= "0.6.3"}
"ocaml-freestanding" {>= "0.4.5"} "ocaml-freestanding" {>= "0.4.5"}
"bheap" "bheap"
] ]