From 2b30ab6bf9c5e0db9068910abd303cace3a27cf8 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Tue, 12 Sep 2023 13:13:51 +0200
Subject: [PATCH] lower-bounds: add one for decompress (needing the gz
 subpackage)

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

diff --git a/builder-web.opam b/builder-web.opam
index 920db29..fed3f7a 100644
--- a/builder-web.opam
+++ b/builder-web.opam
@@ -49,7 +49,7 @@ depends: [
   "tar"
   "owee"
   "solo5-elftool" {>= "0.3.0"}
-  "decompress"
+  "decompress" {>= "1.5.0"}
   "alcotest" {with-test}
   "ppx_deriving" {with-test}
   "ppx_deriving_yojson" {with-test}