From 70030f09bf079daa8b8ff53d2aa823edc460c229 Mon Sep 17 00:00:00 2001
From: Robur <team@robur.coop>
Date: Wed, 9 Jun 2021 16:03:55 +0000
Subject: [PATCH] update builder-web from upstream

---
 packages/builder-web.0.0.1~dev/opam | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/packages/builder-web.0.0.1~dev/opam b/packages/builder-web.0.0.1~dev/opam
index 0b7cff3..5318dcc 100644
--- a/packages/builder-web.0.0.1~dev/opam
+++ b/packages/builder-web.0.0.1~dev/opam
@@ -27,7 +27,6 @@ depends: [
   "caqti-driver-sqlite3"
   "pbkdf"
   "mirage-crypto-rng"
-  "sexplib"
   "scrypt-kdf"
   "alcotest" {with-test}
   "opam-core"
@@ -37,6 +36,16 @@ depends: [
   "metrics-influx"
   "metrics-rusage"
   "ipaddr"
+  "tyxml"
+  "ptime"
+  "duration"
+  "rresult"
+  "mirage-crypto"
+  "asn1-combinators"
+  "logs"
+  "cmdliner"
+  "uri"
+  "fmt"
 ]
 
 synopsis: "Web interface for builder"