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.03.0"}
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: """
27mirage-protocols provides a set of module types which libraries intended to be used as MirageOS network implementations should implement.
28
29The set of protocols defined is:
30
31[Mirage_protocols.ETHIF](ethif) and [Mirage_protocols_lwt.ETHIF](ethif-lwt)
32[Mirage_protocols.ARP](arp) and [Mirage_protocols_lwt.ARP](arp-lwt)
33[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)
34[Mirage_protocols.ICMP](icmp) and [Mirage_protocols_lwt.ICMP](icmp-lwt), via [Mirage_protocols_lwt.ICMPV4](icmpv4-lwt)
35[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)
36[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)
37
38mirage-protocols is distributed under the ISC license."""
39url {
40 src:
41 "https://github.com/mirage/mirage-protocols/releases/download/v1.4.0/mirage-protocols-1.4.0.tbz"
42 checksum: [
43 "sha256=bb6aacb74189fd589a91a29c6d29d40679364f77a5db387bb9d677e44e13fcbc"
44 "md5=3557203aa8557aa5d3ffe7a0c7583925"
45 ]
46}
47flags: deprecated
48post-messages: [ "mirage-protocols is deprecated" ]