builder-web.opam: Removed pin-depend on modulectomy, as this PR depends on coming released version

11 months ago · 2a3130b170
parent bfd0299844
commit 2a3130b170
1 changed files with 0 additions and 1 deletions
--- 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"]
 ]