[new release] mirage, mirage-runtime, functoria and functoria-runtime (4.0.0)

CHANGES:

#### Fixed

- use `--solo5-abi=xen` for qubes target (mirage/mirage#1312, @hannesm)
- Support using a different filename than `config.ml` with `-f`
  (mirage/mirage#1309, @dinosaure)
- Fix build with dune 3.0 (mirage/mirage#1296, @dinosaure)
- Check that the package name respects opam conventions
  (mirage/mirage#1287, mirage/mirage#1304, @TheLortex)
- Allow to specify version of pinned packages (mirage/mirage#1295, @Julow)

#### Changed

- Use the same compilation as dune (mirage/mirage#1313, mirage/mirage#1316, mirage/mirage#1317, @samoht, @hannesm)
- Remove unused `--warn-errors` and `--debug` flags (mirage/mirage#1320, @samoht)
- Remove the deprecated `--target=ukvm` (mirage/mirage#1321, @hannesm)
- Require cmdliner 1.1 (mirage/mirage#1289, @samoht, @dinosaure, @dbuenzli)
- Require opam 2.1 to use MirageOS (mirage/mirage#1239, 1311, @hannesm)
- Require conduit 5.1 (mirage/mirage#1297, @hannesm)
- Rename `ocaml-freestanding` to `ocaml-solo5`
  (mirage/mirage#1314, @dinosaure, @samoht, @hannesm)

#### Added

- Add Key.opt_all to allows usage of an argument multiple times
  (mirage/mirage#1292, mirage/mirage#1301, @dinosaure, @Drup)
- Add Git devices (mirage/mirage#1291, @dinosaure, @samoht, @hannesm, @yomimono)
- Add happy-eyeballs devices (mirage/mirage#1307, @dinosaure, @hannesm)
- Add docteur device to manage read-only persistent key-value stores
  (mirage/mirage#1298, @dinosaure, @samoht)
- Add tcpv4v6_of_stackv4v6 device (mirage/mirage#1293, @dinosaure)
- Add int64 converter (mirage/mirage#1305, @dinosaure)
- Add dns_client device (mirage/mirage#1302, mirage/mirage#1306, @dinosaure, @hannesm)

Author: samoht

packages/functoria-runtime/functoria-runtime.4.0.0/opam

@@ -0,0 +1,40 @@
+opam-version: "2.0"
+maintainer:   "Gabriel Radanne <[email protected]>"
+authors:      [ "Thomas Gazagnaire"
+                "Anil Madhavapeddy"
+                "Dave Scott"
+                "Thomas Leonard"
+                "Gabriel Radanne" ]
+homepage:     "https://github.com/mirage/mirage"
+bug-reports:  "https://github.com/mirage/mirage/issues"
+dev-repo:     "git+https://github.com/mirage/mirage.git"
+doc:          "https://mirage.github.io/mirage/"
+license:      "ISC"
+tags:         ["org:mirage"]
+
+build: [
+  ["dune" "subst"] {dev}
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+
+depends: [
+  "ocaml" {>= "4.08.0"}
+  "dune" {>= "2.9.0"}
+  "cmdliner" {>= "1.1.0"}
+  "fmt" {>= "0.8.7"}
+]
+
+synopsis: "Runtime support library for functoria-generated code"
+description: """
+This is the runtime support library for code generated by functoria.
+"""
+url {
+  src:
+    "https://github.com/mirage/mirage/releases/download/v4.0.0/mirage-4.0.0.tbz"
+  checksum: [
+    "sha256=f804161872de6cf20699364f09d03370ed06aafffb12f1d586190832c73a194d"
+    "sha512=75c1c1cac4c6f862c0055381c7ced123785193234b40da8a8e238cb289cba1a4494378587c4edf2ed872aee7fbfc756f84087941c1037ac19cbd1733ff6cca6a"
+  ]
+}
+x-commit-hash: "d61533a07cc054622b7d0c84650d208833b10237"

packages/functoria/functoria.4.0.0/opam

@@ -0,0 +1,57 @@
+opam-version: "2.0"
+maintainer:   "Gabriel Radanne <[email protected]>"
+authors:      [ "Thomas Gazagnaire"
+                "Anil Madhavapeddy"
+                "Dave Scott"
+                "Thomas Leonard"
+                "Gabriel Radanne" ]
+homepage:     "https://github.com/mirage/mirage"
+bug-reports:  "https://github.com/mirage/mirage/issues"
+dev-repo:     "git+https://github.com/mirage/mirage.git"
+doc:          "https://mirage.github.io/mirage/"
+license:      "ISC"
+tags:         ["org:mirage"]
+available: opam-version >= "2.1.0"
+
+build: [
+  ["dune" "subst"] {dev}
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+  ["env" "INSIDE_FUNCTORIA_TESTS=1" "dune" "exec" "-p" name "-j" jobs "--"
+     "test/functoria/e2e/test.exe"] {with-test}
+]
+
+depends: [
+  "ocaml" {>= "4.08.0"}
+  "dune" {>= "2.9.0" | (with-test & >= "3.0.0")}
+  "base-unix"
+  "cmdliner" {>= "1.1.1"}
+  "rresult" {>= "0.7.0"}
+  "result" {>= "1.5"}
+  "astring"
+  "fmt" {>= "0.8.7"}
+  "logs"
+  "bos"
+  "fpath"
+  "emile" {>= "1.1"}
+  "uri" {>= "4.2.0"}
+  "alcotest" {with-test}
+  "functoria-runtime" {= version & with-test}
+]
+synopsis: "A DSL to organize functor applications"
+description: """
+Functoria is a DSL to describe a set of modules and functors, their types and
+how to apply them in order to produce a complete application.
+
+The main use case is mirage. See the [mirage](https://github.com/mirage/mirage)
+repository for details.
+"""
+url {
+  src:
+    "https://github.com/mirage/mirage/releases/download/v4.0.0/mirage-4.0.0.tbz"
+  checksum: [
+    "sha256=f804161872de6cf20699364f09d03370ed06aafffb12f1d586190832c73a194d"
+    "sha512=75c1c1cac4c6f862c0055381c7ced123785193234b40da8a8e238cb289cba1a4494378587c4edf2ed872aee7fbfc756f84087941c1037ac19cbd1733ff6cca6a"
+  ]
+}
+x-commit-hash: "d61533a07cc054622b7d0c84650d208833b10237"

packages/mirage-runtime/mirage-runtime.4.0.0/opam

@@ -0,0 +1,41 @@
+opam-version: "2.0"
+maintainer:   ["[email protected]" "[email protected]"]
+authors:      ["Thomas Gazagnaire" "Anil Madhavapeddy" "Gabriel Radanne"
+               "Mindy Preston" "Thomas Leonard" "Nicolas Ojeda Bar"
+               "Dave Scott" "David Kaloper" "Hannes Mehnert" "Richard Mortier"]
+homepage:     "https://github.com/mirage/mirage"
+bug-reports:  "https://github.com/mirage/mirage/issues/"
+dev-repo:     "git+https://github.com/mirage/mirage.git"
+license:      "ISC"
+tags:         ["org:mirage" "org:xapi-project"]
+doc:          "https://mirage.github.io/mirage/"
+
+build: [
+  ["dune" "subst"] {dev}
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+
+depends: [
+  "ocaml" {>= "4.08.0"}
+  "dune" {>= "2.9.0"}
+  "ipaddr"             {>= "5.0.0"}
+  "functoria-runtime"  {= version}
+  "fmt" {>= "0.8.4"}
+  "logs"
+  "lwt" {>= "4.0.0"}
+  "alcotest" {with-test}
+]
+synopsis: "The base MirageOS runtime library, part of every MirageOS unikernel"
+description: """
+A bundle of useful runtime functions for applications built with MirageOS
+"""
+url {
+  src:
+    "https://github.com/mirage/mirage/releases/download/v4.0.0/mirage-4.0.0.tbz"
+  checksum: [
+    "sha256=f804161872de6cf20699364f09d03370ed06aafffb12f1d586190832c73a194d"
+    "sha512=75c1c1cac4c6f862c0055381c7ced123785193234b40da8a8e238cb289cba1a4494378587c4edf2ed872aee7fbfc756f84087941c1037ac19cbd1733ff6cca6a"
+  ]
+}
+x-commit-hash: "d61533a07cc054622b7d0c84650d208833b10237"

packages/mirage/mirage.4.0.0/opam

@@ -0,0 +1,54 @@
+opam-version: "2.0"
+maintainer:   ["[email protected]" "[email protected]"]
+authors:      ["Thomas Gazagnaire" "Anil Madhavapeddy" "Gabriel Radanne"
+               "Mindy Preston" "Thomas Leonard" "Nicolas Ojeda Bar"
+               "Dave Scott" "David Kaloper" "Hannes Mehnert" "Richard Mortier"]
+homepage:     "https://github.com/mirage/mirage"
+bug-reports:  "https://github.com/mirage/mirage/issues/"
+dev-repo:     "git+https://github.com/mirage/mirage.git"
+license:      "ISC"
+tags:         ["org:mirage" "org:xapi-project"]
+doc:          "https://mirage.github.io/mirage/"
+available: opam-version >= "2.1.0"
+
+build: [
+  ["dune" "subst"] {dev}
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+
+depends: [
+  "ocaml" {>= "4.08.0"}
+  "dune" {>= "2.9.0" | (with-test & >= "3.0.0")}
+  "ipaddr" {>= "5.0.0"}
+  "functoria" {= version}
+  "bos"
+  "astring"
+  "logs"
+  "mirage-runtime" {= version}
+  "opam-monorepo" {>= "0.2.6"}
+  "alcotest" {with-test}
+  "fmt" {>= "0.8.7" & with-test}
+]
+synopsis: "The MirageOS library operating system"
+description: """
+MirageOS is a library operating system that constructs unikernels for
+secure, high-performance network applications across a variety of
+cloud computing and mobile platforms. Code can be developed on a
+normal OS such as Linux or MacOS X, and then compiled into a
+fully-standalone, specialised unikernel that runs under the Xen
+hypervisor.
+
+Since Xen powers most public cloud computing infrastructure such as
+Amazon EC2 or Rackspace, this lets your servers run more cheaply,
+securely and with finer control than with a full software stack.
+"""
+url {
+  src:
+    "https://github.com/mirage/mirage/releases/download/v4.0.0/mirage-4.0.0.tbz"
+  checksum: [
+    "sha256=f804161872de6cf20699364f09d03370ed06aafffb12f1d586190832c73a194d"
+    "sha512=75c1c1cac4c6f862c0055381c7ced123785193234b40da8a8e238cb289cba1a4494378587c4edf2ed872aee7fbfc756f84087941c1037ac19cbd1733ff6cca6a"
+  ]
+}
+x-commit-hash: "d61533a07cc054622b7d0c84650d208833b10237"