openvpn -> miragevpn

This commit is contained in:
Hannes Mehnert 2023-03-19 16:57:09 +01:00
parent 2469497d27
commit cbd782dd19
2 changed files with 4 additions and 4 deletions

View file

@ -6,7 +6,7 @@ authors: "dummy"
homepage: "dummy"
bug-reports: "dummy"
dev-repo: "git://dummy"
synopsis: "An OpenVPN router unikernel, the configuration is stored on a block device, reports metrics to influx"
synopsis: "An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx"
build: ["sh" "-exc" "cd mirage-router/ && mirage build"]
@ -40,7 +40,7 @@ depends: [
"ocaml" { build & >= "4.08.0" }
"ocaml-solo5" { build & >= "0.8.1" & < "0.9.0" }
"opam-monorepo" { build & >= "0.3.2" }
"openvpn" { ?monorepo }
"miragevpn" { ?monorepo }
"solo5" { build & >= "0.7.5" & < "0.8.0" }
"tcpip" { ?monorepo & >= "7.0.0" & < "9.0.0" }
]
@ -60,4 +60,4 @@ x-opam-monorepo-opam-provided: ["mirage"
"ocaml""ocaml-solo5""opam-monorepo"
"solo5"]
url { src: "git+https://github.com/roburio/openvpn.git" }
url { src: "git+https://github.com/roburio/miragevpn.git" }

View file

@ -60,5 +60,5 @@ depends: [
"alcotest" {with-test}
]
url {
src: "git+https://github.com/roburio/openvpn.git"
src: "git+https://github.com/roburio/miragevpn.git"
}