robur/unikernel-repo
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

miragevpn opam: sync from upstream

Browse source
This commit is contained in:
Hannes Mehnert 2023-09-27 22:57:38 +02:00
parent d0d78822ad
commit d3548afbce
1 changed files with 9 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
packages/miragevpn.0.0.1~dev/opam
View file

@ -1,9 +1,10 @@
opam-version: "2.0" opam-version: "2.0"
synopsis: "Library implementing the OpenVPN protocol and configuration format" synopsis: "Library implementing the OpenVPN protocol and configuration format"
homepage: "https://github.com/robur-coop/openvpn" name: "miragevpn"
dev-repo: "git+https://github.com/robur-coop/openvpn.git" homepage: "https://github.com/robur-coop/miragevpn"
bug-reports: "https://github.com/robur-coop/openvpn/issues" dev-repo: "git+https://github.com/robur-coop/miragevpn.git"
doc: "https://github.com/robur-coop/openvpn/doc" bug-reports: "https://github.com/robur-coop/miragevpn/issues"
doc: "https://github.com/robur-coop/miragevpn/doc"
author: ["robur"] author: ["robur"]
maintainer: ["robur"] maintainer: ["robur"]
license: "AGPL" license: "AGPL"
@ -16,12 +17,11 @@ build: [
depends: [ depends: [
"dune" "dune"
"ocaml" {>= "4.08.0"} "ocaml" {>= "4.13.0"}
"odoc" {with-doc} "odoc" {with-doc}
"fmt" { >= "0.8.7" } "fmt" { >= "0.8.7" }
"logs" { >= "0.6.2" } "logs" { >= "0.6.2" }
"rresult" { >= "0.6.0" }
"angstrom" { >= "0.14.0" } "angstrom" { >= "0.14.0" }
"cstruct" { >= "6.0.0" } "cstruct" { >= "6.0.0" }
@ -31,14 +31,14 @@ depends: [
"gmap" { >= "0.3.0" } "gmap" { >= "0.3.0" }
"hex" { >= "1.4.0" } "hex" { >= "1.4.0" }
"ipaddr" { >= "5.0.0" } "ipaddr" { >= "5.0.0" }
"decompress" { >= "1.5.3" }
"logs" "logs"
"cstruct-lwt" "cstruct-lwt"
"lwt" {>= "5.6.0"} "lwt" {>= "5.7.0"}
"mirage-crypto" "mirage-crypto"
"mirage-crypto-rng" {>= "0.11.0"} "mirage-crypto-rng" {>= "0.11.0"}
"mirage-crypto-rng-lwt" {>= "0.11.0"} "mirage-crypto-rng-lwt" {>= "0.11.0"}
"ptime" "ptime"
"rresult"
"tls" {>= "0.15.0"} "tls" {>= "0.15.0"}
"dns-client" {>= "7.0.0"} "dns-client" {>= "7.0.0"}
"dns-client-lwt" {>= "7.0.0"} "dns-client-lwt" {>= "7.0.0"}
@ -47,7 +47,6 @@ depends: [
"tuntap" {>= "1.8.1"} "tuntap" {>= "1.8.1"}
"astring"
"mtime" "mtime"
"randomconv" "randomconv"
# mirage: # mirage:
@ -58,6 +57,7 @@ depends: [
"crowbar" {with-test} "crowbar" {with-test}
"alcotest" {with-test} "alcotest" {with-test}
"bigstringaf" {with-test}
] ]
url { url {
src: "git+https://github.com/robur-coop/miragevpn.git" src: "git+https://github.com/robur-coop/miragevpn.git"