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

Pin builder #2

Merged
reynir merged 1 commit from pin-builder into main 2024-08-29 08:32:35 +00:00
Conversation 1 Commits 1 Files changed 1 +1 -1
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 201c82e837 - Show all commits

2
packages/builder.0.3.99~dev/opam
View file

@ -44,5 +44,5 @@ on the local file system or upload them to a remote server via http.
See https://builds.robur.coop for the live web frontend (builder-web).
"""
url {
src: "git+https://github.com/robur-coop/builder.git"
src: "git+https://github.com/robur-coop/builder.git#6a2682c26259ebe8a05c671ce526d1e23c76f7ea"
}