diff --git a/builder-web.opam b/builder-web.opam
index 18b366c..a34ab6e 100644
--- 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"]
 ]