2021-03-17 20:29:45 +00:00
|
|
|
opam-version: "2.0"
|
|
|
|
|
synopsis: "Library implementing the OpenVPN protocol and configuration format"
|
|
|
|
|
homepage: "https://github.com/roburio/openvpn"
|
|
|
|
|
dev-repo: "git+https://github.com/roburio/openvpn.git"
|
|
|
|
|
bug-reports: "https://github.com/roburio/openvpn/issues"
|
|
|
|
|
doc: "https://github.com/roburio/openvpn/doc"
|
|
|
|
|
author: ["robur"]
|
|
|
|
|
maintainer: ["robur"]
|
|
|
|
|
license: "AGPL"
|
|
|
|
|
|
|
|
|
|
build: [
|
2021-05-04 21:05:34 +00:00
|
|
|
["dune" "subst" ] {dev}
|
2021-03-17 20:29:45 +00:00
|
|
|
["dune" "build" "-p" name "-j" jobs]
|
|
|
|
|
["dune" "runtest" "-p" name "-j" jobs] {with-test}
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
depends: [
|
|
|
|
|
"dune"
|
|
|
|
|
"ocaml" {>= "4.08.0"}
|
|
|
|
|
"odoc" {with-doc}
|
|
|
|
|
|
2021-10-19 17:56:59 +00:00
|
|
|
"fmt" { >= "0.8.7" }
|
2021-03-17 20:29:45 +00:00
|
|
|
"logs" { >= "0.6.2" }
|
|
|
|
|
"rresult" { >= "0.6.0" }
|
|
|
|
|
|
|
|
|
|
"angstrom" { >= "0.14.0" }
|
2021-07-28 15:19:10 +00:00
|
|
|
"cstruct" { >= "6.0.0" }
|
2021-03-17 20:29:45 +00:00
|
|
|
"cmdliner"
|
|
|
|
|
"domain-name" { >= "0.2.0" }
|
|
|
|
|
"fmt"
|
|
|
|
|
"gmap" { >= "0.3.0" }
|
|
|
|
|
"hex" { >= "1.4.0" }
|
|
|
|
|
"ipaddr" { >= "5.0.0" }
|
|
|
|
|
"logs"
|
|
|
|
|
"cstruct-lwt"
|
|
|
|
|
"lwt"
|
|
|
|
|
"mirage-crypto"
|
|
|
|
|
"mirage-crypto-rng" {>= "0.8.0"}
|
|
|
|
|
"ptime"
|
|
|
|
|
"rresult"
|
2021-10-19 17:56:59 +00:00
|
|
|
"tls" {>= "0.15.0"}
|
2021-10-20 09:22:22 +00:00
|
|
|
"dns-client" {>= "6.0.0"}
|
2021-10-19 17:56:59 +00:00
|
|
|
"x509" {>= "0.15.0"}
|
2021-03-17 20:29:45 +00:00
|
|
|
"duration"
|
|
|
|
|
|
|
|
|
|
"tuntap" {>= "1.8.1"}
|
|
|
|
|
|
|
|
|
|
"astring"
|
|
|
|
|
"mtime"
|
|
|
|
|
"randomconv"
|
|
|
|
|
# mirage:
|
2022-01-09 14:18:18 +00:00
|
|
|
"tcpip" {>= "7.0.0"}
|
2021-03-17 20:29:45 +00:00
|
|
|
"mirage-random" {>= "2.0.0"}
|
|
|
|
|
"mirage-clock" {>= "3.0.0"}
|
|
|
|
|
|
|
|
|
|
"crowbar" {with-test}
|
|
|
|
|
"alcotest" {with-test}
|
|
|
|
|
]
|
|
|
|
|
url {
|
|
|
|
|
src: "git+https://github.com/roburio/openvpn.git"
|
|
|
|
|
}
|
