Update builder-web opam file

- Depend on tar, opam-graph, modulectomy
- Add pin-depends on opam-graph, modulectomy
This commit is contained in:
Reynir Björnsson 2022-02-02 11:43:50 +00:00
parent 812e7e2ce4
commit ec91a8f809

View file

@ -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"
}