update from upstream
This commit is contained in:
parent
cd28ca5426
commit
eb55bbb4dc
1 changed files with 8 additions and 8 deletions
|
@ -1,4 +1,4 @@
|
|||
# Generated by ./config.exe configure -t hvt --allocation-policy=best-fit (2021-04-30 09:00:35-00:00).
|
||||
# Generated by ./config.exe configure -t hvt --allocation-policy=best-fit (2021-11-09 18:56:14-00:00).
|
||||
opam-version: "2.0"
|
||||
name: "mirage-unikernel-primary_git-hvt"
|
||||
depends: [ "arp" { >= "2.3.0" & < "3.0.0"}
|
||||
|
@ -6,15 +6,15 @@ depends: [ "arp" { >= "2.3.0" & < "3.0.0"}
|
|||
"dns-tsig"
|
||||
"ethernet" { >= "2.2.0" & < "3.0.0"}
|
||||
"functoria-runtime"
|
||||
"git-mirage" { >= "3.4.0"}
|
||||
"git-paf"
|
||||
"irmin-mirage" { >= "2.6.0"}
|
||||
"irmin-mirage-git" { >= "2.6.0"}
|
||||
"git-mirage" { >= "3.6.0"}
|
||||
"git-paf" { >= "3.5.0"}
|
||||
"irmin-mirage" { >= "2.8.0"}
|
||||
"irmin-mirage-git" { >= "2.8.0"}
|
||||
"logs"
|
||||
"logs-syslog" { >= "0.3.0" & < "0.4"}
|
||||
"logs-syslog" { >= "0.3.0"}
|
||||
"lwt"
|
||||
"mimic"
|
||||
"mirage" {build & >= "3.10.4" & < "3.11.0"}
|
||||
"mirage" {build & >= "3.10.0" & < "3.11.0"}
|
||||
"mirage-bootvar-solo5" { >= "0.6.0" & < "0.7.0"}
|
||||
"mirage-clock-freestanding" { >= "3.0.0" & < "4.0.0"}
|
||||
"mirage-console-solo5" { >= "0.6.1" & < "0.7.0"}
|
||||
|
@ -29,7 +29,7 @@ depends: [ "arp" { >= "2.3.0" & < "3.0.0"}
|
|||
"ocaml" {build & >= "4.08.0"}
|
||||
"ocamlbuild" {build}
|
||||
"ocamlfind" {build}
|
||||
"paf"
|
||||
"paf" { >= "0.0.6"}
|
||||
"solo5-bindings-hvt" { >= "0.6.0" & < "0.7.0"}
|
||||
"tcpip" { >= "6.1.0" & < "7.0.0"}
|
||||
]
|
||||
|
|
Loading…
Reference in a new issue