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

Update builder-web

Browse source
This commit is contained in:
Reynir Björnsson 2022-07-12 17:24:32 +02:00
parent a16b340ce6
commit 8fcf3c5335
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -29,7 +29,6 @@ depends: [
"pbkdf" "pbkdf"
"mirage-crypto-rng" "mirage-crypto-rng"
"scrypt-kdf" "scrypt-kdf"
"alcotest" {with-test}
"opam-core" "opam-core"
"opam-format" {>= "2.1.0"} "opam-format" {>= "2.1.0"}
"metrics" {>= "0.3.0"} "metrics" {>= "0.3.0"}
@ -51,6 +50,9 @@ depends: [
"owee" "owee"
"solo5-elftool" {>= "0.3.0"} "solo5-elftool" {>= "0.3.0"}
"decompress" "decompress"
"alcotest" {with-test}
"ppx_deriving" {with-test}
"ppx_deriving_yojson" {with-test}
] ]
synopsis: "Web interface for builder" synopsis: "Web interface for builder"