File tree Expand file tree Collapse file tree 3 files changed +132
-0
lines changed
mirage-block-unikraft/mirage-block-unikraft.1.0.0
mirage-net-unikraft/mirage-net-unikraft.1.0.0
mirage-unikraft/mirage-unikraft.1.0.0 Expand file tree Collapse file tree 3 files changed +132
-0
lines changed Original file line number Diff line number Diff line change 1+ opam-version: "2.0"
2+ synopsis: "Unikraft implementation of MirageOS block interface"
3+ description:
4+ "This library implements the MirageOS block interface for Unikraft targets."
5+ 6+ authors: [
7+ "Fabrice Buoro <
[email protected] >" "Samuel Hym <
[email protected] >"
8+ ]
9+ license: "BSD-3-Clause"
10+ tags: ["org:mirage"]
11+ homepage: "https://github.com/mirage/mirage-block-unikraft"
12+ bug-reports: "https://github.com/mirage/mirage-block-unikraft/issues"
13+ depends: [
14+ "ocaml" {>= "5.2.0"}
15+ "dune" {>= "3.0" & >= "3.0"}
16+ "lwt" {>= "2.4.3"}
17+ "cstruct" {>= "6.0.0"}
18+ "mirage-block" {>= "2.0.0"}
19+ "mirage-unikraft" {>= "1.0.0"}
20+ "fmt" {>= "0.8.7"}
21+ "odoc" {with-doc}
22+ ]
23+ build: [
24+ ["dune" "subst"] {dev}
25+ [
26+ "dune"
27+ "build"
28+ "-p"
29+ name
30+ "-j"
31+ jobs
32+ "@install"
33+ "@runtest" {with-test}
34+ "@doc" {with-doc}
35+ ]
36+ ]
37+ dev-repo: "git+https://github.com/mirage/mirage-block-unikraft.git"
38+ url {
39+ src:
40+ "https://github.com/mirage/mirage-block-unikraft/archive/refs/tags/v1.0.0.tar.gz"
41+ checksum:
42+ "sha256=281449a4bf028fd8439e95468145d158f9a2c0de27d3240e46acc1140e5d017e"
43+ }
44+ x-maintenance-intent: ["(latest)"]
Original file line number Diff line number Diff line change 1+ opam-version: "2.0"
2+ synopsis: "Unikraft implementation of MirageOS network interface"
3+ description:
4+ "This library implements the MirageOS network interface for Unikraft targets."
5+ 6+ authors: ["Fabrice Buoro <
[email protected] >"]
7+ license: "BSD-3-Clause"
8+ tags: ["org:mirage"]
9+ homepage: "https://github.com/mirage/mirage-net-unikraft"
10+ bug-reports: "https://github.com/mirage/mirage-net-unikraft/issues"
11+ depends: [
12+ "dune" {>= "3.0"}
13+ "ocaml" {>= "5.2.0"}
14+ "cstruct" {>= "1.0.1"}
15+ "lwt" {>= "2.4.3"}
16+ "mirage-net" {>= "3.0.0"}
17+ "macaddr" {>= "4.0.0"}
18+ "mirage-unikraft" {>= "1.0.0"}
19+ "logs" {>= "0.6.0"}
20+ "metrics"
21+ "fmt" {>= "0.8.7"}
22+ "odoc" {with-doc}
23+ ]
24+ build: [
25+ ["dune" "subst"] {dev}
26+ [
27+ "dune"
28+ "build"
29+ "-p"
30+ name
31+ "-j"
32+ jobs
33+ "@install"
34+ "@runtest" {with-test}
35+ "@doc" {with-doc}
36+ ]
37+ ]
38+ dev-repo: "git+https://github.com/mirage/mirage-net-unikraft.git"
39+ url {
40+ src:
41+ "https://github.com/mirage/mirage-net-unikraft/archive/refs/tags/v1.0.0.tar.gz"
42+ checksum:
43+ "sha256=8d736b578da486bf7ba82879793354afbadc9a673da2e5a3cb0fb5d28b859a44"
44+ }
45+ x-maintenance-intent: ["(latest)"]
Original file line number Diff line number Diff line change 1+ opam-version: "2.0"
2+ synopsis: "Unikraft core platform libraries for MirageOS"
3+ description:
4+ "This packages provides the MirageOS `OS` library for Unikraft targets."
5+ maintainer: ["Fabrice Buoro" "Samuel Hym"]
6+ authors: ["Fabrice Buoro" "Samuel Hym"]
7+ license: "MIT"
8+ tags: ["org:mirage"]
9+ homepage: "https://github.com/mirage/mirage-unikraft"
10+ bug-reports: "https://github.com/mirage/mirage-unikraft/issues"
11+ depends: [
12+ "ocaml" {>= "5.3.0"}
13+ "dune" {>= "3.16"}
14+ "mirage-runtime"
15+ "mirage-sleep"
16+ "bheap"
17+ "lwt"
18+ "metrics"
19+ "duration"
20+ "odoc" {with-doc}
21+ ]
22+ build: [
23+ ["dune" "subst"] {dev}
24+ [
25+ "dune"
26+ "build"
27+ "-p"
28+ name
29+ "-j"
30+ jobs
31+ "@install"
32+ "@runtest" {with-test}
33+ "@doc" {with-doc}
34+ ]
35+ ]
36+ dev-repo: "git+https://github.com/mirage/mirage-unikraft.git"
37+ url {
38+ src:
39+ "https://github.com/mirage/mirage-unikraft/archive/refs/tags/v1.0.0.tar.gz"
40+ checksum:
41+ "sha256=c48d534a366d25d1c4959535595f48b16d91ca44fc19399710a9231405fa7eab"
42+ }
43+ x-maintenance-intent: ["(latest)"]
You can’t perform that action at this time.
0 commit comments