From 13686ceae52489a32ab66d061df543951bd8cbc9 Mon Sep 17 00:00:00 2001
From: Robur <team@robur.coop>
Date: Fri, 12 Nov 2021 14:10:34 +0000
Subject: [PATCH] opam: require tyxml 4.0.0

---
 builder-web.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/builder-web.opam b/builder-web.opam
index 0c2b90e..9b8e049 100644
--- a/builder-web.opam
+++ b/builder-web.opam
@@ -36,7 +36,7 @@ depends: [
   "metrics-influx"
   "metrics-rusage"
   "ipaddr"
-  "tyxml"
+  "tyxml" {>= "4.0.0"}
   "ptime"
   "duration"
   "mirage-crypto"