Skip to content

Commit 9b9f048

Browse files
mserimseri
authored
Merge pull request #24815 from hannesm/release-mirage-v4.4.1
[new release] mirage, mirage-runtime, functoria and functoria-runtime (4.4.1)
2 parents 3647d05 + 6d8b3d4 commit 9b9f048

File tree

4 files changed

+199
-0
lines changed
  • packages
    • functoria-runtime/functoria-runtime.4.4.1
    • functoria/functoria.4.4.1
    • mirage-runtime/mirage-runtime.4.4.1
    • mirage/mirage.4.4.1

4 files changed

+199
-0
lines changed

‎packages/functoria-runtime/functoria-runtime.4.4.1/opam‎

Lines changed: 40 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
1+
opam-version: "2.0"
2+
maintainer: "Gabriel Radanne <[email protected]>"
3+
authors: [ "Thomas Gazagnaire"
4+
"Anil Madhavapeddy"
5+
"Dave Scott"
6+
"Thomas Leonard"
7+
"Gabriel Radanne" ]
8+
homepage: "https://github.com/mirage/mirage"
9+
bug-reports: "https://github.com/mirage/mirage/issues"
10+
dev-repo: "git+https://github.com/mirage/mirage.git"
11+
doc: "https://mirage.github.io/mirage/"
12+
license: "ISC"
13+
tags: ["org:mirage"]
14+
15+
build: [
16+
["dune" "subst"] {dev}
17+
["dune" "build" "-p" name "-j" jobs]
18+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
19+
]
20+
21+
depends: [
22+
"ocaml" {>= "4.08.0"}
23+
"dune" {>= "2.9.0"}
24+
"cmdliner" {>= "1.1.1"}
25+
"cmdliner" {with-test & >= "1.2.0"}
26+
]
27+
28+
synopsis: "Runtime support library for functoria-generated code"
29+
description: """
30+
This is the runtime support library for code generated by functoria.
31+
"""
32+
url {
33+
src:
34+
"https://github.com/mirage/mirage/releases/download/v4.4.1/mirage-4.4.1.tbz"
35+
checksum: [
36+
"sha256=14a09dceb44956952b096aab4e213c974d19289398b2f23d98dcc9d19c430708"
37+
"sha512=47caff67e93f03a9b45da33edc2574a8a97c6b7fff92d2ba10afc5ed0bc8c44741a871f1db6293b0144159f98112b900be02450e8fb4b454e88d065c6417d2f1"
38+
]
39+
}
40+
x-commit-hash: "ec12b06aedc4e31115f145d049bfb656e89abc85"

‎packages/functoria/functoria.4.4.1/opam‎

Lines changed: 60 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,60 @@
1+
opam-version: "2.0"
2+
maintainer: "Gabriel Radanne <[email protected]>"
3+
authors: [ "Thomas Gazagnaire"
4+
"Anil Madhavapeddy"
5+
"Dave Scott"
6+
"Thomas Leonard"
7+
"Gabriel Radanne" ]
8+
homepage: "https://github.com/mirage/mirage"
9+
bug-reports: "https://github.com/mirage/mirage/issues"
10+
dev-repo: "git+https://github.com/mirage/mirage.git"
11+
doc: "https://mirage.github.io/mirage/"
12+
license: "ISC"
13+
tags: ["org:mirage"]
14+
available: opam-version >= "2.1.0"
15+
16+
build: [
17+
["dune" "subst"] {dev}
18+
["dune" "build" "-p" name "-j" jobs]
19+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
20+
["env" "INSIDE_FUNCTORIA_TESTS=1" "dune" "exec" "-p" name "-j" jobs "--"
21+
"test/functoria/e2e/test.exe"] {with-test}
22+
]
23+
24+
depends: [
25+
"ocaml" {>= "4.08.0"}
26+
"dune" {>= "2.9.0"}
27+
"dune" {with-test & >= "3.0.0"}
28+
"base-unix"
29+
"cmdliner" {>= "1.1.1"}
30+
"cmdliner" {with-test & >= "1.2.0"}
31+
"rresult" {>= "0.7.0"}
32+
"result" {>= "1.5"}
33+
"astring"
34+
"fmt" {>= "0.8.7"}
35+
"logs"
36+
"bos"
37+
"fpath"
38+
"emile" {>= "1.1"}
39+
"uri" {>= "4.2.0"}
40+
"alcotest" {with-test}
41+
"functoria-runtime" {= version & with-test}
42+
"bigstringaf" {with-test & >= "0.5.0"}
43+
]
44+
synopsis: "A DSL to organize functor applications"
45+
description: """
46+
Functoria is a DSL to describe a set of modules and functors, their types and
47+
how to apply them in order to produce a complete application.
48+
49+
The main use case is mirage. See the [mirage](https://github.com/mirage/mirage)
50+
repository for details.
51+
"""
52+
url {
53+
src:
54+
"https://github.com/mirage/mirage/releases/download/v4.4.1/mirage-4.4.1.tbz"
55+
checksum: [
56+
"sha256=14a09dceb44956952b096aab4e213c974d19289398b2f23d98dcc9d19c430708"
57+
"sha512=47caff67e93f03a9b45da33edc2574a8a97c6b7fff92d2ba10afc5ed0bc8c44741a871f1db6293b0144159f98112b900be02450e8fb4b454e88d065c6417d2f1"
58+
]
59+
}
60+
x-commit-hash: "ec12b06aedc4e31115f145d049bfb656e89abc85"

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

Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
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+
13+
build: [
14+
["dune" "subst"] {dev}
15+
["dune" "build" "-p" name "-j" jobs]
16+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
17+
]
18+
19+
depends: [
20+
"ocaml" {>= "4.08.0"}
21+
"dune" {>= "2.9.0"}
22+
"ipaddr" {>= "5.0.0"}
23+
"functoria-runtime" {= version}
24+
"logs"
25+
"lwt" {>= "4.0.0"}
26+
"alcotest" {with-test}
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+
url {
37+
src:
38+
"https://github.com/mirage/mirage/releases/download/v4.4.1/mirage-4.4.1.tbz"
39+
checksum: [
40+
"sha256=14a09dceb44956952b096aab4e213c974d19289398b2f23d98dcc9d19c430708"
41+
"sha512=47caff67e93f03a9b45da33edc2574a8a97c6b7fff92d2ba10afc5ed0bc8c44741a871f1db6293b0144159f98112b900be02450e8fb4b454e88d065c6417d2f1"
42+
]
43+
}
44+
x-commit-hash: "ec12b06aedc4e31115f145d049bfb656e89abc85"

‎packages/mirage/mirage.4.4.1/opam‎

Lines changed: 55 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,55 @@
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.08.0"}
22+
"dune" {>= "2.9.0"}
23+
"dune" {with-test & >= "3.0.0"}
24+
"ipaddr" {>= "5.0.0"}
25+
"functoria" {= version}
26+
"bos"
27+
"astring"
28+
"logs"
29+
"mirage-runtime" {= version}
30+
"opam-monorepo" {>= "0.3.2"}
31+
"alcotest" {with-test}
32+
"fmt" {>= "0.8.7" & with-test}
33+
]
34+
synopsis: "The MirageOS library operating system"
35+
description: """
36+
MirageOS is a library operating system that constructs unikernels for
37+
secure, high-performance network applications across a variety of
38+
cloud computing and mobile platforms. Code can be developed on a
39+
normal OS such as Linux or MacOS X, and then compiled into a
40+
fully-standalone, specialised unikernel that runs under the Xen
41+
hypervisor.
42+
43+
Since Xen powers most public cloud computing infrastructure such as
44+
Amazon EC2 or Rackspace, this lets your servers run more cheaply,
45+
securely and with finer control than with a full software stack.
46+
"""
47+
url {
48+
src:
49+
"https://github.com/mirage/mirage/releases/download/v4.4.1/mirage-4.4.1.tbz"
50+
checksum: [
51+
"sha256=14a09dceb44956952b096aab4e213c974d19289398b2f23d98dcc9d19c430708"
52+
"sha512=47caff67e93f03a9b45da33edc2574a8a97c6b7fff92d2ba10afc5ed0bc8c44741a871f1db6293b0144159f98112b900be02450e8fb4b454e88d065c6417d2f1"
53+
]
54+
}
55+
x-commit-hash: "ec12b06aedc4e31115f145d049bfb656e89abc85"

0 commit comments

Comments
 (0)