this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "David Scott <dave.scott@docker.com>"
3authors: [
4 "Anil Madhavapeddy <anil@recoil.org>"
5 "David Scott <dave.scott@docker.com>"
6 "David Sheets <dsheets@docker.com>"
7 "Gaetan de Villele <gdevillele@gmail.com>"
8 "Ian Campbell <ian.campbell@docker.com>"
9 "Magnus Skjegstad <magnus@skjegstad.com>"
10 "Mindy Preston <mindy.preston@docker.com>"
11 "Sebastiaan van Stijn <github@gone.nl>"
12 "Thomas Gazagnaire <thomas@gazagnaire.com>"
13 "Thomas Leonard <thomas.leonard@docker.com>"
14]
15homepage: "https://github.com/moby/vpnkit"
16bug-reports: "https://github.com/moby/vpnkit/issues"
17dev-repo: "git+https://github.com/moby/vpnkit.git"
18doc: "https://moby.github.io/vpnkit/"
19
20build: [
21 ["jbuilder" "subst" "-p" name] {dev}
22 ["jbuilder" "build" "-p" name "-j" jobs]
23]
24
25depends: [
26 "ocaml"
27 "jbuilder" {>= "1.0+beta10"}
28 "alcotest" {with-test}
29 "result"
30 "tar" {>= "0.8.0"}
31 "ipaddr"
32 "lwt" {>= "2.7.0"}
33 "uwt" {>= "0.0.4"}
34 "tcpip" {>= "3.3.0"}
35 "dns" {>= "0.19.1" & < "2.0.0"}
36 "dns-lwt" {< "2.0.0"}
37 "dnssd" {>= "0.2"}
38 "dns-forward" {>= "0.10.0"}
39 "cstruct-lwt" {>= "3.0.0"}
40 "datakit-server" {>= "0.11.0"}
41 "datakit-server-9p" {>= "0.11.0"}
42 "hashcons" {>= "1.0.1"}
43 "pcap-format" {>= "0.4.0"}
44 "cmdliner"
45 "charrua-core" {>= "0.9"}
46 "charrua-client-mirage" {with-test}
47 "hvsock" {>= "1.0.1"}
48 "asl"
49 "win-eventlog"
50 "fd-send-recv" {>= "1.0.3"}
51 "logs"
52 "fmt"
53 "astring"
54 "mirage-flow-lwt" {>= "1.4.0"}
55 "mirage-time-lwt" {>= "1.1.0"}
56 "mirage-protocols" {>= "1.1.0" & < "1.3.0"}
57 "mirage-channel" {>= "3.0.1" & < "4.0.0"}
58 "cohttp-lwt" {>= "0.99.0"}
59 "mirage-dns" {< "4.0.0"}
60 "protocol-9p" {>= "0.11.3"}
61 "mirage-vnetif" {>= "0.4.0"}
62 "uuidm"
63 "ezjsonm" {>= "0.4.0"}
64 "stringext"
65 "mirage-clock-unix"
66]
67synopsis: "VPN-friendly networking devices for HyperKit"
68description: """
69HyperKit is a hypervisor which runs on macOS using the "hypervisor.framework".
70VPNKit implements a virtual ethernet device for HyperKit VMs in a VPN-friendly
71way, by terminating and proxying all the TCP flows, caching and forwarding
72DNS requests etc. HyperKit and VPNKit are used in Docker for Mac and Windows."""
73url {
74 src:
75 "https://github.com/moby/vpnkit/releases/download/v0.2.0/vpnkit-0.2.0.tbz"
76 checksum: [
77 "sha256=1ae759ef8a35585a0c3ca1251c9a1d62f323486abbefef4fe23787124762caa6"
78 "md5=bb584a2e61904390721a8a2a3fc4617e"
79 ]
80}