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

albatross: remove, since the latest is the released version

Browse source
This commit is contained in:
Hannes Mehnert 2024-08-17 12:16:52 +02:00
parent 3ac5d936c1
commit c46e689dc9
1 changed files with 0 additions and 63 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

63
packages/albatross.2.0.99~dev/opam
View file

@ -1,63 +0,0 @@
opam-version: "2.0"
maintainer: "Hannes Mehnert <hannes@mehnert.org>"
authors: ["Hannes Mehnert <hannes@mehnert.org>"]
homepage: "https://github.com/robur-coop/albatross"
dev-repo: "git+https://github.com/robur-coop/albatross.git"
bug-reports: "https://github.com/robur-coop/albatross/issues"
license: "ISC"
depends: [
"ocaml" {>= "4.12.0" & < "5.0"}
"dune" {>= "2.7.0"}
"dune-configurator"
"conf-pkg-config" {build}
"conf-libnl3" {os = "linux"}
"lwt" {>= "3.0.0"}
"ipaddr" {>= "5.3.0"}
"cstruct" {>= "6.0.0"}
"logs"
"bos" {>= "0.2.0"}
"ptime"
"cmdliner" {>= "1.1.0"}
"fmt" {>= "0.8.7"}
"x509" {>= "0.13.0"}
"tls" {>= "0.16.0"}
"tls-lwt" {>= "0.16.0"}
"mirage-crypto"
"mirage-crypto-rng" {>= "0.11.0"}
"asn1-combinators" {>= "0.2.0"}
"duration"
"decompress" {>= "1.3.0"}
"bigstringaf" {>= "0.2.0"}
"checkseum"
"metrics" {>= "0.2.0"}
"metrics-lwt" {>= "0.2.0"}
"metrics-influx" {>= "0.2.0"}
"metrics-rusage"
"ohex" {>= "0.2.0"}
"http-lwt-client" {>= "0.2.0"}
"happy-eyeballs-lwt"
"solo5-elftool" {>= "0.3"}
"owee" {>= "0.4"}
"fpath" {>= "0.7.3"}
"alcotest" {with-test}
]
build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
["sh" "-ex" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
["sh" "-ex" "packaging/debian/create_package.sh"] {os-family = "debian" | os-family = "ubuntu"}
]
synopsis: "Albatross - orchestrate and manage MirageOS unikernels with Solo5"
description: """
The goal of albatross is robust deployment of [MirageOS](https://mirage.io)
unikernels using [Solo5](https://github.com/solo5/solo5). Resources managed
by albatross are network interfaces of kind `tap`, which are connected to
already existing bridges, block devices, memory, and CPU. Each unikernel is
pinned (`cpuset` / `taskset`) to a specific core.
"""
depexts: ["linux-headers"] {os-family = "alpine"}
url {
src: "git+https://github.com/robur-coop/albatross.git"
}