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

builder is released to opam, remove pin-depends

Browse source
This commit is contained in:
Hannes Mehnert 2021-10-06 14:20:46 +02:00
parent 4a42cffc6c
commit c9f8a16896
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
builder-web.opam
View file

@ -48,7 +48,3 @@ depends: [
] ]
synopsis: "Web interface for builder" synopsis: "Web interface for builder"
pin-depends: [
["builder.dev" "git+https://github.com/roburio/builder.git"]
]