diff --git a/packages/builder-web.0.2.0~dev/opam b/packages/builder-web.0.2.0~dev/opam index 85072ce..9cb3cbb 100644 --- a/packages/builder-web.0.2.0~dev/opam +++ b/packages/builder-web.0.2.0~dev/opam @@ -47,6 +47,9 @@ depends: [ "uri" "fmt" {>= "0.8.7"} "omd" + "modulectomy" + "opam-graph" + "tar" ] synopsis: "Web interface for builder" @@ -55,6 +58,11 @@ Builder-web takes in submissions of builds, typically from [builder](https://git Produced binaries can be downloaded and executed. [builds.robur.coop](https://builds.robur.coop/) itself runs builder-web. """ + +pin-depends: [ + ["modulectomy.dev" "git+https://github.com/roburio/modulectomy.git#20211213_implementing_UI_scale_in_modulectomy.treemap"] + ["opam-graph.dev" "git+https://git.robur.io/robur/opam-graph.git"] +] url { src: "git+https://git.robur.io/robur/builder-web.git" }