···
2
+
maintainer: "anil@recoil.org"
3
+
homepage: "https://github.com/mirage/mirage-tcpip"
4
+
dev-repo: "git+https://github.com/mirage/mirage-tcpip.git"
5
+
bug-reports: "https://github.com/mirage/mirage-tcpip/issues"
6
+
doc: "https://mirage.github.io/mirage-tcpip/"
8
+
"Anil Madhavapeddy" "Balraj Singh" "Richard Mortier" "Nicolas Ojeda Bar"
9
+
"Thomas Gazagnaire" "Vincent Bernardoff" "Magnus Skjegstad" "Mindy Preston"
10
+
"Thomas Leonard" "David Scott" "Gabor Pali" "Hannes Mehnert" "Haris Rotsos"
11
+
"Kia" "Luke Dunstan" "Pablo Polvorin" "Tim Cuthbertson" "lnmx" "pqwy" ]
13
+
tags: ["org:mirage"]
16
+
["dune" "subst"] {dev}
17
+
["dune" "build" "-p" name "-j" jobs]
18
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
21
+
"mirage-xen" {< "6.0.0"}
22
+
"ocaml-freestanding"
27
+
"bisect_ppx" {dev & >= "2.5.0"}
28
+
"ocaml" {>= "4.08.0"}
29
+
"cstruct" {>= "6.0.0"}
31
+
"mirage-net" {>= "3.0.0"}
32
+
"mirage-clock" {>= "3.0.0"}
33
+
"mirage-random" {>= "2.0.0"}
34
+
"mirage-time" {>= "2.0.0"}
35
+
"ipaddr" {>= "5.0.0"}
36
+
"macaddr" {>="4.0.0"}
44
+
"ethernet" {>= "3.0.0"}
46
+
"mirage-flow" {>= "2.0.0"}
47
+
"mirage-vnetif" {with-test & >= "0.5.0"}
48
+
"alcotest" {with-test & >="1.5.0"}
49
+
"pcap-format" {with-test}
50
+
"mirage-clock-unix" {with-test & >= "3.0.0"}
51
+
"mirage-random-test" {with-test & >= "0.1.0"}
56
+
"cmdliner" {>= "1.1.0"}
58
+
synopsis: "OCaml TCP/IP networking stack, used in MirageOS"
60
+
`mirage-tcpip` provides a networking stack for the [Mirage operating
61
+
system](https://mirage.io). It provides implementations for the following module types
62
+
(which correspond with the similarly-named protocols):
64
+
* IP (via the IPv4 and IPv6 modules)
71
+
"https://github.com/mirage/mirage-tcpip/releases/download/v8.0.0/tcpip-8.0.0.tbz"
73
+
"sha256=36b4c156be16702ba4c6d781a2da8ba1462b22370d15570e1116056cbf025233"
74
+
"sha512=56a1aab616349152beff7d0a504db15dc3d0010cb36322ce06b7abb43bd9d1a6ec0daa23fd6632fcc758c89737ba48046bb591d4a70021e273b80e716b55c44f"
77
+
x-commit-hash: "efdfbfce071998b56f26cbef4e5227b8d98620fa"