diff --git a/mirage-monitoring.opam b/mirage-monitoring.opam index 4dc9a28..0ef443c 100644 --- a/mirage-monitoring.opam +++ b/mirage-monitoring.opam @@ -22,7 +22,7 @@ depends: [ ] conflicts: [ "mirage-solo5" {< "0.9.2"} - "mirage-solo5" {< "8.0.2"} + "mirage-xen" {< "8.0.2"} ] build: [ ["dune" "subst"] {dev}