unikernel-repo/packages/miragevpn.0.0.1~dev/opam

75 lines
1.7 KiB
Text
Raw Normal View History

2021-03-17 20:29:45 +00:00
opam-version: "2.0"
synopsis: "Library implementing the OpenVPN protocol and configuration format"
2023-09-27 20:57:38 +00:00
name: "miragevpn"
homepage: "https://github.com/robur-coop/miragevpn"
dev-repo: "git+https://github.com/robur-coop/miragevpn.git"
bug-reports: "https://github.com/robur-coop/miragevpn/issues"
doc: "https://github.com/robur-coop/miragevpn/doc"
2021-03-17 20:29:45 +00:00
author: ["robur"]
maintainer: ["robur"]
2024-03-28 13:49:45 +00:00
license: "BSD-2-Clause"
2021-03-17 20:29:45 +00:00
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: [
2023-10-24 07:22:40 +00:00
"dune" {>= "2.9"}
2024-03-28 13:49:45 +00:00
"ocaml" {>= "4.14.0"}
2021-03-17 20:29:45 +00:00
"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" }
"angstrom" { >= "0.14.0" }
"domain-name" { >= "0.2.0" }
"fmt"
"gmap" { >= "0.3.0" }
2024-10-01 10:03:44 +00:00
"ohex" { >= "0.2.0" }
2021-03-17 20:29:45 +00:00
"ipaddr" { >= "5.0.0" }
2023-09-27 20:57:38 +00:00
"decompress" { >= "1.5.3" }
2021-03-17 20:29:45 +00:00
"logs"
2023-09-27 20:57:38 +00:00
"lwt" {>= "5.7.0"}
2024-10-01 10:03:44 +00:00
"mirage-crypto" {>= "1.0.0"}
"mirage-crypto-rng" {>= "1.0.0"}
2021-03-17 20:29:45 +00:00
"ptime"
2024-10-01 10:03:44 +00:00
"tls" {>= "1.0.0"}
"dns-client" {>= "9.0.0"}
"x509" {>= "1.0.0"}
2021-03-17 20:29:45 +00:00
"duration"
2024-10-01 10:03:44 +00:00
"randomconv" {>= "0.2.0"}
"digestif" {>= "1.2.0"}
2023-10-24 07:22:40 +00:00
# app:
2024-10-01 10:03:44 +00:00
"mirage-crypto-rng-lwt" {>= "1.0.0"}
2023-10-24 07:22:40 +00:00
"mtime"
2024-10-01 10:03:44 +00:00
"dns-client-lwt" {>= "9.0.0"}
2023-10-24 07:22:40 +00:00
"tuntap" {>= "1.8.1"}
"base64" {>= "3.0.0"}
"hxd"
2021-03-17 20:29:45 +00:00
# mirage:
2024-10-01 10:03:44 +00:00
"dns-client-mirage" {>= "9.0.0"}
2024-06-26 14:12:31 +00:00
"tcpip" {>= "8.1.0"}
2024-10-01 10:03:44 +00:00
"mirage-crypto-rng-mirage" {>= "1.0.0"}
2021-03-17 20:29:45 +00:00
"mirage-clock" {>= "3.0.0"}
2024-10-01 10:03:44 +00:00
"cstruct" {>= "6.0.0"}
2024-03-28 13:49:45 +00:00
# tooling:
"cmdliner" { >= "1.1.0" }
"hxd"
"bos"
2021-03-17 20:29:45 +00:00
"crowbar" {with-test}
"alcotest" {with-test}
2023-09-27 20:57:38 +00:00
"bigstringaf" {with-test}
2024-06-26 14:12:31 +00:00
"notty" {with-test}
"bechamel" {with-test}
"bechamel-notty" {with-test}
# coverage
"bisect_ppx" {dev}
2021-03-17 20:29:45 +00:00
]
url {
2023-09-09 12:19:41 +00:00
src: "git+https://github.com/robur-coop/miragevpn.git"
2021-03-17 20:29:45 +00:00
}