···
2
+
maintainer: ["anil@recoil.org" "thomas@gazagnaire.org"]
3
+
authors: ["Thomas Gazagnaire" "Anil Madhavapeddy" "Gabriel Radanne"
4
+
"Mindy Preston" "Thomas Leonard" "Nicolas Ojeda Bar"
5
+
"Dave Scott" "David Kaloper" "Hannes Mehnert" "Richard Mortier"]
6
+
homepage: "https://github.com/mirage/mirage"
7
+
bug-reports: "https://github.com/mirage/mirage/issues/"
8
+
dev-repo: "git+https://github.com/mirage/mirage.git"
10
+
tags: ["org:mirage" "org:xapi-project"]
11
+
doc: "https://mirage.github.io/mirage/"
12
+
available: opam-version >= "2.1.0"
15
+
["dune" "subst"] {dev}
16
+
["dune" "build" "-p" name "-j" jobs]
17
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
21
+
"ocaml" {>= "4.13.0"}
24
+
"cmdliner" {>= "1.2.0"}
25
+
"cmdliner" {with-test & >= "1.3.0"}
28
+
"ipaddr" {>= "5.0.0"}
31
+
"rresult" {>= "0.7.0"}
34
+
"opam-monorepo" {>= "0.4.0"}
35
+
"alcotest" {with-test}
36
+
"mirage-runtime" {with-test & = version}
39
+
conflicts: [ "jbuilder" {with-test} ]
41
+
synopsis: "The MirageOS library operating system"
43
+
MirageOS is a library operating system that constructs unikernels for
44
+
secure, high-performance network applications across a variety of
45
+
cloud computing and mobile platforms. Code can be developed on a
46
+
normal OS such as Linux or MacOS X, and then compiled into a
47
+
fully-standalone, specialised unikernel that runs under the Xen
50
+
Since Xen powers most public cloud computing infrastructure such as
51
+
Amazon EC2 or Rackspace, this lets your servers run more cheaply,
52
+
securely and with finer control than with a full software stack.
54
+
x-maintenance-intent: [ "(latest)" ]
57
+
"https://github.com/mirage/mirage/releases/download/v4.9.0/mirage-4.9.0.tbz"
59
+
"sha256=0c07d59eb52dc3d1506eb4121c4953104a12df79d08a0f0923c9b71e7474a026"
60
+
"sha512=666bf9ee20c9f9de058441f252f4f40ceec6a9ffd00e5cd3b7bfa9532fd65000aeb8a83f9e55586be98d0a86ea72f2dda94e924608135e3d63441359505de58a"
63
+
x-commit-hash: "c49e60fda7bd7f917bc4bf46281ea3961d00a4e7"