this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: ["anil@recoil.org" "thomas@gazagnaire.org"]
3authors: [
4 "Thomas Gazagnaire"
5 "Anil Madhavapeddy"
6 "Gabriel Radanne"
7 "Mindy Preston"
8 "Thomas Leonard"
9 "Nicolas Ojeda Bar"
10 "Dave Scott"
11 "David Kaloper"
12 "Hannes Mehnert"
13 "Richard Mortier"
14]
15tags: ["org:mirage" "org:xapi-project"]
16homepage: "https://github.com/mirage/mirage"
17doc: "https://mirage.github.io/mirage/"
18bug-reports: "https://github.com/mirage/mirage/issues/"
19depends: [
20 "ocaml" {>= "4.04.2"}
21 "jbuilder" {>= "1.0+beta10"}
22 "ipaddr" {>= "2.6.0" & < "5.0.0"}
23 "functoria" {>= "2.2.0" & < "4.0"}
24 "bos"
25 "astring"
26 "logs"
27 "mirage-runtime" {>= "3.2.0" & < "3.3.0"}
28]
29conflicts: [
30 "nocrypto" {< "0.4.0"}
31 "cstruct" {< "1.0.1"}
32 "io-page" {< "1.4.0"}
33 "crunch" {< "1.2.2"}
34 "jbuilder" {= "1.0+beta18"}
35 "mirage-solo5" {< "0.4.0"}
36 "tcpip" {< "3.5.0"}
37 "mirage-unix" {>= "3.1.0"}
38 "mirage-random" {>= "1.2.0"}
39 "charrua-client" {>= "0.11"}
40]
41build: [
42 ["jbuilder" "subst" "-p" name] {dev}
43 ["jbuilder" "build" "-p" name "-j" jobs]
44]
45dev-repo: "git+https://github.com/mirage/mirage.git"
46synopsis: "The MirageOS library operating system"
47description: """
48MirageOS is a library operating system that constructs unikernels for
49secure, high-performance network applications across a variety of
50cloud computing and mobile platforms. Code can be developed on a
51normal OS such as Linux or MacOS X, and then compiled into a
52fully-standalone, specialised unikernel that runs under the Xen
53hypervisor.
54
55Since Xen powers most public cloud computing infrastructure such as
56Amazon EC2 or Rackspace, this lets your servers run more cheaply,
57securely and with finer control than with a full software stack."""
58url {
59 src:
60 "https://github.com/mirage/mirage/releases/download/3.2.0/mirage-3.2.0.tbz"
61 checksum: [
62 "md5=7f4b5c6dbb811ffe8cf3b9f4bbfb41ae"
63 "sha256=6d90167f4e609a663e2b8e45c73f682e0e72e54e6deaf5a7da5ebb47efd2fb7a"
64 ]
65}
66post-messages: [
67 "As of MirageOS 3.2.0 / Solo5 0.4.0, the 'ukvm' target has been renamed to 'hvt'. Please refer to https://github.com/mirage/mirage/blob/master/CHANGES.md for further details on this change."
68]