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

builder-web.opam: update from upstream

Browse source
This commit is contained in:
Hannes Mehnert 2023-09-11 12:19:25 +02:00
parent 31d1d569b1
commit 1324abc7bd
1 changed files with 2 additions and 2 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

@ -18,7 +18,7 @@ depends: [
"ocaml" {>= "4.13.0" & < "5.0.0"} "ocaml" {>= "4.13.0" & < "5.0.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"}
"cstruct" {>= "6.0.0"} "cstruct" {>= "6.0.0"}
"bos" "bos"
"hex" "hex"
@ -45,7 +45,7 @@ depends: [
"cmdliner" {>= "1.1.0"} "cmdliner" {>= "1.1.0"}
"uri" "uri"
"fmt" {>= "0.8.7"} "fmt" {>= "0.8.7"}
"omd" "cmarkit"
"tar" "tar"
"owee" "owee"
"solo5-elftool" {>= "0.3.0"} "solo5-elftool" {>= "0.3.0"}