builder-web.opam: Added pin-depend on Roburs modulectomy fork again - would like to merge this before modulectomy is released

11 months ago · c41b9808d5
parent 2a3130b170
commit c41b9808d5
1 changed files with 1 additions and 0 deletions
--- a/builder-web.opam
+++ b/builder-web.opam
@ -62,5 +62,6 @@ 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"]
 ]