From c41b9808d513aa8749b5c9e3325dcd8d61aad0ce Mon Sep 17 00:00:00 2001 From: rand00 Date: Tue, 15 Mar 2022 18:54:12 +0100 Subject: [PATCH] builder-web.opam: Added pin-depend on Roburs modulectomy fork again - would like to merge this before modulectomy is released --- builder-web.opam | 1 + 1 file changed, 1 insertion(+) 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"] ]