this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: ["anil@recoil.org" "thomas@gazagnaire.org"]
3authors: [
4 "Anil Madhavapeddy" "Thomas Gazagnaire" "Dave Scott" "Richard Mortier"
5]
6homepage: "https://mirage.io"
7bug-reports: "https://github.com/mirage/mirage/issues/"
8dev-repo: "git+https://github.com/mirage/mirage.git"
9tags: ["org:mirage" "org:xapi-project"]
10build: [
11 ["./configure" "--bindir" "%{bin}%"]
12 [make]
13]
14install: [make "install"]
15remove: [
16 ["rm" "-f" "%{bin}%/mirage"]
17 ["ocamlfind" "remove" "mirage"]
18]
19depends: [
20 "ocaml" {>= "4.01.0"}
21 "mirage-types-lwt" {>= "2.3.0" & < "3.0.0"}
22 "ipaddr" {>= "1.0.0"}
23 "cmdliner" {>= "0.9.2" & < "1.0"}
24 "lwt" {>= "2.4.3"}
25 "ocamlbuild" {build}
26]
27conflicts: [
28 "mirage-conduit" {< "2.2.0"}
29 "nocrypto" {< "0.4.0"}
30 "crunch" {< "1.2.2"}
31]
32synopsis: "The MirageOS library operating system"
33description: """
34MirageOS is a library operating system that constructs unikernels for
35secure, high-performance network applications across a variety of
36cloud computing and mobile platforms. Code can be developed on a
37normal OS such as Linux or MacOS X, and then compiled into a
38fully-standalone, specialised unikernel that runs under the Xen
39hypervisor.
40
41Since Xen powers most public cloud computing infrastructure such as
42Amazon EC2 or Rackspace, this lets your servers run more cheaply,
43securely and with finer control than with a full software stack."""
44flags: light-uninstall
45url {
46 src: "https://github.com/mirage/mirage/archive/v2.5.0.tar.gz"
47 checksum: [
48 "sha256=4c32bb4d3127469ca86718c7d79a2225e46521e3d820246f6f0dd2a80f34d41c"
49 "md5=c124023e623c3e7e6305f45fe9f32098"
50 ]
51}