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

albatross: packaging got merged into main

Browse source
This commit is contained in:
Hannes Mehnert 2021-06-29 17:57:46 +02:00
parent 1628cd2d63
commit df89203e02
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/albatross.1.3.0~pre/opam
View file

@ -60,5 +60,5 @@ available: [
] ]
depexts: ["linux-headers"] {os-distribution = "alpine"} depexts: ["linux-headers"] {os-distribution = "alpine"}
url { url {
src: "git+https://github.com/roburio/albatross.git#packaging" src: "git+https://github.com/roburio/albatross.git"
} }