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

albatross: update from upstream

Browse source
This commit is contained in:
Hannes Mehnert 2022-05-16 12:24:11 +02:00
parent f3690bdc4b
commit c8750be325
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
packages/albatross.1.4.3.1~dev/opam
View file

@ -7,8 +7,8 @@ bug-reports: "https://github.com/roburio/albatross/issues"
license: "ISC"
depends: [
"ocaml" {>= "4.10.0"}
"dune"
"ocaml" {>= "4.12.0"}
"dune" {>= "2.7.0"
"dune-configurator"
"conf-pkg-config" {build}
"conf-libnl3" {os = "linux"}
@ -38,6 +38,7 @@ depends: [
"happy-eyeballs-lwt"
"solo5-elftool" {>= "0.3"}
"owee" {>= "0.4"}
"alcotest" {with-test}
]
build: [
["dune" "subst"] {dev}