diff --git a/builder-web.opam b/builder-web.opam index 28d2649..fa87dd3 100644 --- a/builder-web.opam +++ b/builder-web.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" ]