opam-version: "2.0"
maintainer: "David Scott <dave.scott@docker.com>"
authors: [
  "Anil Madhavapeddy <anil@recoil.org>"
  "David Scott <dave.scott@docker.com>"
  "David Sheets <dsheets@docker.com>"
  "Gaetan de Villele <gdevillele@gmail.com>"
  "Ian Campbell <ian.campbell@docker.com>"
  "Magnus Skjegstad <magnus@skjegstad.com>"
  "Mindy Preston <mindy.preston@docker.com>"
  "Sebastiaan van Stijn <github@gone.nl>"
  "Thomas Gazagnaire <thomas@gazagnaire.com>"
  "Thomas Leonard <thomas.leonard@docker.com>"
]
homepage:     "https://github.com/moby/vpnkit"
bug-reports:  "https://github.com/moby/vpnkit/issues"
dev-repo: "git+https://github.com/moby/vpnkit.git"
doc:          "https://moby.github.io/vpnkit/"

build: [
  ["jbuilder" "subst" "-p" name] {pinned}
  ["jbuilder" "build" "-p" name "-j" jobs]
]

depends: [
  "ocaml" {< "4.06.0"}
  "jbuilder" {>= "1.0+beta10"}
  "alcotest" {with-test}
  "result"
  "tar" {>= "0.8.0"}
  "ipaddr"
  "lwt" {>= "2.7.0" & < "4.0.0"}
  "uwt" {>= "0.0.4"}
  "tcpip" {>= "3.3.0"}
  "dns" {>= "0.19.1" & < "2.0.0"}
  "dns-lwt" {< "2.0.0"}
  "dnssd" {>= "0.2"}
  "dns-forward" {< "0.10.0"}
  "cstruct-lwt" {>= "3.0.0"}
  "datakit-server" {>= "0.11.0"}
  "datakit-server-9p" {>= "0.11.0"}
  "hashcons" {>= "1.0.1"}
  "pcap-format" {>= "0.4.0"}
  "cmdliner"
  "charrua-core" {>= "0.9"}
  "charrua-client-mirage" {with-test}
  "named-pipe" {>= "0.4.0"}
  "hvsock" {>= "0.13.0"}
  "asl"
  "win-eventlog"
  "fd-send-recv" {>= "1.0.3"}
  "logs"
  "fmt"
  "astring"
  "mirage-flow-lwt" {>= "1.4.0"}
  "mirage-time-lwt" {>= "1.1.0"}
  "mirage-time-unix"
  "mirage-protocols" {>= "1.1.0" & < "1.3.0"}
  "mirage-channel" {>= "3.0.1" & < "4.0.0"}
  "mirage-console-unix"
  "mirage-clock-unix"
  "cohttp-lwt" {>= "0.99.0"}
  "mirage-dns" {< "4.0.0"}
  "protocol-9p-unix" {>= "0.11.2"}
  "mirage-vnetif" {>= "0.4.0"}
  "uuidm"
  "ezjsonm" {>= "0.4.0"}
]
synopsis: "VPN-friendly networking devices for HyperKit"
description: """
HyperKit is a hypervisor which runs on macOS using the "hypervisor.framework".
VPNKit implements a virtual ethernet device for HyperKit VMs in a VPN-friendly
way, by terminating and proxying all the TCP flows, caching and forwarding
DNS requests etc. HyperKit and VPNKit are used in Docker for Mac and Windows."""
url {
  src:
    "https://github.com/moby/vpnkit/releases/download/v0.1.1/vpnkit-0.1.1.tbz"
  checksum: "md5=66eacee906f9e5a263d627cf96cdb0c8"
}
