From 4dada889187fe67ca3968a34b6ac2cbe7976535c Mon Sep 17 00:00:00 2001
From: Robur <team@robur.coop>
Date: Thu, 23 Jun 2022 10:19:01 +0000
Subject: [PATCH] Update builder-web

---
 packages/builder-web.0.2.0~dev/opam | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/packages/builder-web.0.2.0~dev/opam b/packages/builder-web.0.2.0~dev/opam
index 1f2cf7b..9bd30dd 100644
--- a/packages/builder-web.0.2.0~dev/opam
+++ b/packages/builder-web.0.2.0~dev/opam
@@ -15,7 +15,7 @@ build: [
 ]
 
 depends: [
-  "ocaml" {>= "4.10.0"}
+  "ocaml" {>= "4.13.0"}
   "dune" {>= "2.7.0"}
   "builder" {>= "0.2.0"}
   "dream" {= "1.0.0~alpha4"}
@@ -52,6 +52,7 @@ depends: [
   "tar"
   "owee"
   "solo5-elftool"
+  "decompress"
 ]
 
 synopsis: "Web interface for builder"