From 327c4c9fcd9bcc034dfacfcab61f21c7f311c8db Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Fri, 1 Nov 2019 12:05:48 +0100
Subject: [PATCH] require mirage-xen 5.0.0

---
 vchan-xen.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vchan-xen.opam b/vchan-xen.opam
index 8b5fa0e..3e93101 100644
--- a/vchan-xen.opam
+++ b/vchan-xen.opam
@@ -18,7 +18,7 @@ depends: [
   "io-page"
   "mirage-flow" {>= "2.0.0"}
   "xenstore" {>= "1.2.2"}
-  "mirage-xen" {>= "4.0.0"}
+  "mirage-xen" {>= "5.0.0"}
   "xenstore_transport" {>= "1.0.0"}
   "sexplib"
   "cmdliner"