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.3.0/mirage-protocols-1.3.0.tbz"
42 checksum: [
43 "sha256=e9ea9fa0cebedc48bfcf9786b99be9c4dab350adb10fb9fa413ad8f0a8c24e9e"
44 "md5=c78a4fd04b96cab6665e8d8a770464ef"
45 ]
46}
47flags: deprecated
48post-messages: [ "mirage-protocols is deprecated" ]