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

builder-web, opam-graph: use github as source for now

Browse source
This commit is contained in:
Robur Team 2024-06-26 11:03:27 +00:00
parent 60ff26d3dd
commit 9cc313c191
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
packages/builder-web.0.2.0~dev/opam
View file

@ -63,5 +63,5 @@ Produced binaries can be downloaded and executed.
""" """
url { url {
src: "git+https://git.robur.coop/robur/builder-web.git" src: "git+https://github.com/robur-coop/builder-web.git"
} }

2
packages/opam-graph.0.1.99~dev/opam
View file

@ -29,7 +29,7 @@ build: [
dev-repo: "git+https://git.robur.coop/robur/opam-graph.git" dev-repo: "git+https://git.robur.coop/robur/opam-graph.git"
url { url {
src: src:
"https://git.robur.coop/attachments/aabe0e23-c411-4747-a44e-62e33f7f0658" "https://github.com/ocaml/opam-source-archives/raw/main/opam-graph-0.1.1.tar.gz"
checksum: [ checksum: [
"sha512=33e76715684b9f34f97f34a3033975beafa3cbcf88a861e937b80b6c4b08d4dd9b2aa1f7da51830a44166ae519c9a6c3f695c9b9af5583e17140359e0de1d73e" "sha512=33e76715684b9f34f97f34a3033975beafa3cbcf88a861e937b80b6c4b08d4dd9b2aa1f7da51830a44166ae519c9a6c3f695c9b9af5583e17140359e0de1d73e"
] ]