From 2a3130b1705bc5086bbf355acd1030e7b9faa570 Mon Sep 17 00:00:00 2001 From: rand00 Date: Tue, 15 Mar 2022 13:17:49 +0100 Subject: [PATCH] builder-web.opam: Removed pin-depend on modulectomy, as this PR depends on coming released version --- builder-web.opam | 1 - 1 file changed, 1 deletion(-) diff --git a/builder-web.opam b/builder-web.opam index a34ab6e..18b366c 100644 --- a/builder-web.opam +++ b/builder-web.opam @@ -62,6 +62,5 @@ Produced binaries can be downloaded and executed. """ pin-depends: [ - ["modulectomy.dev" "git+https://github.com/roburio/modulectomy.git"] ["opam-graph.dev" "git+https://git.robur.io/robur/opam-graph.git"] ]