From c66df46d2e6f57a83f6e0bf2dab27507304cfa81 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Thu, 9 Mar 2023 13:14:31 +0100
Subject: [PATCH] opam: fix conflict with mirage-xen

---
 mirage-monitoring.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}