robur/builder-web
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

builder-web.opam: Modulectomy pin-depend now points to master, as changes got merged

Browse source
This commit is contained in:
rand00 2022-02-10 17:23:19 +01:00
parent 9333773335
commit 338fa9dea3
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
builder-web.opam
View file

@ -60,6 +60,6 @@ Produced binaries can be downloaded and executed.
""" """
pin-depends: [ pin-depends: [
["modulectomy.dev" "git+https://github.com/roburio/modulectomy.git#20211213_implementing_UI_scale_in_modulectomy.treemap"] ["modulectomy.dev" "git+https://github.com/roburio/modulectomy.git"]
["opam-graph.dev" "git+https://git.robur.io/robur/opam-graph.git"] ["opam-graph.dev" "git+https://git.robur.io/robur/opam-graph.git"]
] ]