Skip to content

Commit 6df1c45

Browse files
dinosauredinosaure
authored
Merge pull request #28481 from hannesm/release-mirage-v4.10.1
[new release] mirage (2 packages) (4.10.1)
2 parents 547b2dc + 20204c7 commit 6df1c45

File tree

3 files changed

+111
-0
lines changed
  • packages
    • mirage-runtime/mirage-runtime.4.10.1
    • mirage

3 files changed

+111
-0
lines changed

‎packages/mirage-runtime/mirage-runtime.4.10.1/opam‎

Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
opam-version: "2.0"
2+
maintainer: ["[email protected]" "[email protected]"]
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"
9+
license: "ISC"
10+
tags: ["org:mirage" "org:xapi-project"]
11+
doc: "https://mirage.github.io/mirage/"
12+
available: opam-version >= "2.1.0"
13+
14+
build: [
15+
["dune" "subst"] {dev}
16+
["dune" "build" "-p" name "-j" jobs]
17+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
18+
]
19+
20+
depends: [
21+
"ocaml" {>= "4.13.0"}
22+
"dune" {>= "2.9.0"}
23+
"logs" {>= "0.7.0"}
24+
"lwt" {>= "4.0.0"}
25+
"ipaddr" {>= "5.5.0"}
26+
"cmdliner" {>= "1.2.0"}
27+
]
28+
conflicts: [
29+
"result" {< "1.5"}
30+
"ppxlib" {= "0.29.0"} #0.29.0 provides a vendored ppx_sexp_conv
31+
]
32+
synopsis: "The base MirageOS runtime library, part of every MirageOS unikernel"
33+
description: """
34+
A bundle of useful runtime functions for applications built with MirageOS
35+
"""
36+
x-maintenance-intent: [ "(latest)" ]
37+
url {
38+
src:
39+
"https://github.com/mirage/mirage/releases/download/v4.10.1/mirage-4.10.1.tbz"
40+
checksum: [
41+
"sha256=1155b5e9a585d3b44dfdd72777d94a7222b0f88a1737593bfb1f09954b6fb914"
42+
"sha512=c59a0051f1037d7dd5bb81dfc8a265117b533383d0b285e0c2101b44d2ca8bcab40c432ce696a5b44397216e78ac59863f1ab6c5fb33bb338ca18d7ef359500f"
43+
]
44+
}
45+
x-commit-hash: "7973e5ef58b09c836327e1c95429346c20613a1c"

‎packages/mirage/mirage.4.10.0/opam‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -63,3 +63,4 @@ url {
6363
]
6464
}
6565
x-commit-hash: "c54f3d38235e6e2382b34f847cc87ef9e49e04e4"
66+
flags: [ avoid-version ]

‎packages/mirage/mirage.4.10.1/opam‎

Lines changed: 65 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,65 @@
1+
opam-version: "2.0"
2+
maintainer: ["[email protected]" "[email protected]"]
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"
9+
license: "ISC"
10+
tags: ["org:mirage" "org:xapi-project"]
11+
doc: "https://mirage.github.io/mirage/"
12+
available: opam-version >= "2.1.0"
13+
14+
build: [
15+
["dune" "subst"] {dev}
16+
["dune" "build" "-p" name "-j" jobs]
17+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
18+
]
19+
20+
depends: [
21+
"ocaml" {>= "4.13.0"}
22+
"ocaml" {with-test & < "5"}
23+
"dune" {>= "2.9.0"}
24+
"astring"
25+
"cmdliner" {>= "1.2.0" & < "2.0.0"}
26+
"cmdliner" {with-test & >= "1.3.0" & < "2.0.0"}
27+
"emile" {>= "1.1"}
28+
"fmt" {>= "0.8.7"}
29+
"ipaddr" {>= "5.0.0"}
30+
"bos"
31+
"fpath"
32+
"rresult" {>= "0.7.0"}
33+
"uri" {>= "4.2.0"}
34+
"logs" {>= "0.7.0"}
35+
"opam-monorepo" {>= "0.4.0"}
36+
"alcotest" {with-test}
37+
"mirage-runtime" {with-test & = version}
38+
"dune" {with-test & != "3.20.0" & != "3.20.1"}
39+
]
40+
41+
conflicts: [ "jbuilder" {with-test} ]
42+
43+
synopsis: "The MirageOS library operating system"
44+
description: """
45+
MirageOS is a library operating system that constructs unikernels for
46+
secure, high-performance network applications across a variety of
47+
cloud computing and mobile platforms. Code can be developed on a
48+
normal OS such as Linux or MacOS X, and then compiled into a
49+
fully-standalone, specialised unikernel that runs under the Xen
50+
hypervisor.
51+
52+
Since Xen powers most public cloud computing infrastructure such as
53+
Amazon EC2 or Rackspace, this lets your servers run more cheaply,
54+
securely and with finer control than with a full software stack.
55+
"""
56+
x-maintenance-intent: [ "(latest)" ]
57+
url {
58+
src:
59+
"https://github.com/mirage/mirage/releases/download/v4.10.1/mirage-4.10.1.tbz"
60+
checksum: [
61+
"sha256=1155b5e9a585d3b44dfdd72777d94a7222b0f88a1737593bfb1f09954b6fb914"
62+
"sha512=c59a0051f1037d7dd5bb81dfc8a265117b533383d0b285e0c2101b44d2ca8bcab40c432ce696a5b44397216e78ac59863f1ab6c5fb33bb338ca18d7ef359500f"
63+
]
64+
}
65+
x-commit-hash: "7973e5ef58b09c836327e1c95429346c20613a1c"

0 commit comments

Comments
 (0)