From 6dc2b89cb63a2b6915b4931031b52cb035d38913 Mon Sep 17 00:00:00 2001
From: Robur <team@robur.coop>
Date: Fri, 12 Nov 2021 14:20:56 +0000
Subject: [PATCH] opam: require tyxml 4.3.0 (needs 'txt')

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

diff --git a/builder-web.opam b/builder-web.opam
index fcd61d9..ec2d082 100644
--- a/builder-web.opam
+++ b/builder-web.opam
@@ -37,7 +37,7 @@ depends: [
   "metrics-influx"
   "metrics-rusage"
   "ipaddr"
-  "tyxml" {>= "4.0.0"}
+  "tyxml" {>= "4.3.0"}
   "ptime"
   "duration"
   "mirage-crypto"