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

orb home is now at roburio

Browse source
This commit is contained in:
Hannes Mehnert 2021-05-04 13:47:47 +02:00
parent 850a2fe9a2
commit 15db88325b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
packages/orb.0.0.1/opam vendored
View file

@ -22,5 +22,5 @@ build: [
]
dev-repo: "git+https://github.com/rjbou/orb.git"
url {
src: "git+https://github.com/hannesm/orb.git#next"
src: "git+https://github.com/roburio/orb.git#next"
}