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

Update builder-web

Browse source
This commit is contained in:
Robur 2022-06-23 10:19:01 +00:00
parent c79af8e412
commit 4dada88918
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -15,7 +15,7 @@ build: [
] ]
depends: [ depends: [
"ocaml" {>= "4.10.0"} "ocaml" {>= "4.13.0"}
"dune" {>= "2.7.0"} "dune" {>= "2.7.0"}
"builder" {>= "0.2.0"} "builder" {>= "0.2.0"}
"dream" {= "1.0.0~alpha4"} "dream" {= "1.0.0~alpha4"}
@ -52,6 +52,7 @@ depends: [
"tar" "tar"
"owee" "owee"
"solo5-elftool" "solo5-elftool"
"decompress"
] ]
synopsis: "Web interface for builder" synopsis: "Web interface for builder"