this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Mindy Preston <meetup@yomimono.org>"
3authors: ["Mindy Preston <meetup@yomimono.org>"]
4homepage: "https://github.com/mirage/mirage-protocols"
5doc: "https://mirage.github.io/mirage-protocols/"
6license: "ISC"
7dev-repo: "git+https://github.com/mirage/mirage-protocols.git"
8bug-reports: "https://github.com/mirage/mirage-protocols/issues"
9tags: ["org:mirage"]
10
11build: [
12 [ "jbuilder" "subst" "-p" name ] {dev}
13 [ "jbuilder" "build" "-p" name "-j" jobs ]
14]
15
16depends: [
17 "ocaml" {>= "4.04.2"}
18 "jbuilder" {>="1.0+beta9"}
19 "mirage-device" {>= "1.0.0" & < "2.0.0"}
20 "mirage-flow" {>= "1.2.0" & < "2.0.0"}
21 "fmt"
22 "duration"
23]
24conflicts: [ "tcpip" {>= "7.0.0"} ]
25synopsis: "MirageOS signatures for network protocols"
26description: """\
27
28mirage-protocols provides a set of module types which libraries intended to be used as MirageOS network implementations should implement.
29
30The set of protocols defined is:
31
32[Mirage_protocols.ETHIF](ethif) and [Mirage_protocols_lwt.ETHIF](ethif-lwt)
33[Mirage_protocols.ARP](arp) and [Mirage_protocols_lwt.ARP](arp-lwt)
34[Mirage_protocols.IP](ip) and [Mirage_protocols_lwt.IP](ip-lwt), via [Mirage_protocols_lwt.IPV4](ipv4-lwt) and [Mirage_protocols_lwt.IPV6](ipv6-lwt)
35[Mirage_protocols.ICMP](icmp) and [Mirage_protocols_lwt.ICMP](icmp-lwt), via [Mirage_protocols_lwt.ICMPV4](icmpv4-lwt)
36[Mirage_protocols.UDP](udp) and [Mirage_protocols_lwt.UDP](udp-lwt), via [Mirage_protocols_lwt.UDPV4](udpv4-lwt) and [Mirage_protocols_lwt.UDPV6](udpv6-lwt)
37[Mirage_protocols.TCP](tcp) and [Mirage_protocols_lwt.TCP](tcp-lwt), via [Mirage_protocols_lwt.TCPV4](tcpv4-lwt) and [Mirage_protocols_lwt.TCPV6](tcpv6-lwt)
38
39mirage-protocols is distributed under the ISC license."""
40url {
41 src:
42 "https://github.com/mirage/mirage-protocols/releases/download/v1.4.1/mirage-protocols-1.4.1.tbz"
43 checksum: [
44 "sha256=3cf1421e849703b9a86c42fe9a92b297bef0065239fb80397ae36470b3b471bb"
45 "md5=5ad641be29e1e09b78fc3d1c2b3b9721"
46 ]
47}
48flags: deprecated
49post-messages: [ "mirage-protocols is deprecated" ]