From 4255f62a349719f8371f5a2183da7f51c2184936 Mon Sep 17 00:00:00 2001
From: Robur Team <team@robur.coop>
Date: Wed, 26 Jun 2024 14:48:24 +0000
Subject: [PATCH] qubes: for now require tcpip < 8.1.0

---
 packages/mirage-unikernel-miragevpn_qubes-xen.0.0.1/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/mirage-unikernel-miragevpn_qubes-xen.0.0.1/opam b/packages/mirage-unikernel-miragevpn_qubes-xen.0.0.1/opam
index 97cd8db..56d5ec5 100644
--- a/packages/mirage-unikernel-miragevpn_qubes-xen.0.0.1/opam
+++ b/packages/mirage-unikernel-miragevpn_qubes-xen.0.0.1/opam
@@ -43,7 +43,7 @@ depends: [
   "shared-memory-ring" { ?monorepo & >= "3.0.0" }
   "solo5" { build & >= "0.7.5" & < "0.9.0" }
   "tar-mirage" { ?monorepo & >= "1.0.0" & < "3.0.0" }
-  "tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" }
+  "tcpip" { ?monorepo & >= "7.0.0" & < "8.1.0" }
   "vchan" { ?monorepo & >= "4.0.2" }
 ]