From a16b340ce66926df04d1d0dbc750fd7cde1dd436 Mon Sep 17 00:00:00 2001
From: Robur <team@robur.coop>
Date: Thu, 23 Jun 2022 10:26:08 +0000
Subject: [PATCH] Further builder-web opam updates

---
 packages/builder-web.0.2.0~dev/opam | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/packages/builder-web.0.2.0~dev/opam b/packages/builder-web.0.2.0~dev/opam
index 9bd30dd..a85a4fb 100644
--- a/packages/builder-web.0.2.0~dev/opam
+++ b/packages/builder-web.0.2.0~dev/opam
@@ -47,11 +47,9 @@ depends: [
   "uri"
   "fmt" {>= "0.8.7"}
   "omd"
-  "modulectomy"
-  "opam-graph"
   "tar"
   "owee"
-  "solo5-elftool"
+  "solo5-elftool" {>= "0.3.0"}
   "decompress"
 ]