this repo has no description

Merge pull request #23478 from hannesm/mirage-monitoring-conflict

mirage-monitoring: fix conflicts

Kate 25bba47d ad4c2964

Changed files
+2 -1
packages
mirage-monitoring
mirage-monitoring.0.0.4
+2 -1
packages/mirage-monitoring/mirage-monitoring.0.0.4/opam
···
"mirage-clock" {>= "4.0.0"}
]
conflicts: [
-
"mirage-solo5" {< "8.0.2"}
+
"mirage-solo5" {< "0.9.2"}
+
"mirage-xen" {< "8.0.2"}
]
build: [
["dune" "subst"] {dev}