diff --git a/packages/mirage-unikernel-dns-primary-git-hvt.0.0.2/opam b/packages/mirage-unikernel-dns-primary-git-hvt.0.0.2/opam index a42b758..27807a9 100644 --- a/packages/mirage-unikernel-dns-primary-git-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-dns-primary-git-hvt.0.0.2/opam @@ -12,8 +12,8 @@ build: ["sh" "-exc" "mirage build"] install: [ [ "cp" "dist/primary-git.hvt" "%{bin}%/primary-git.hvt" ] - [ "strip" "%{bin}%/primary_git.hvt" ] - [ "cp" "dist/primary_git.hvt" "%{prefix}%/primary_git.hvt.debug" ] + [ "strip" "%{bin}%/primary-git.hvt" ] + [ "cp" "dist/primary-git.hvt" "%{prefix}%/primary-git.hvt.debug" ] [ "cp" "README.md" "%{prefix}%/README.md" ] ] diff --git a/packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.2/opam b/packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.2/opam index 6c284bd..7a205ca 100644 --- a/packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.2/opam @@ -12,8 +12,8 @@ build: ["sh" "-exc" "mirage build"] install: [ [ "cp" "dist/primary-git.hvt" "%{bin}%/primary-git.hvt" ] - [ "strip" "%{bin}%/primary_git.hvt" ] - [ "cp" "dist/primary_git.hvt" "%{prefix}%/primary_git.hvt.debug" ] + [ "strip" "%{bin}%/primary-git.hvt" ] + [ "cp" "dist/primary-git.hvt" "%{prefix}%/primary-git.hvt.debug" ] [ "cp" "README.md" "%{prefix}%/README.md" ] ] diff --git a/packages/mirage-unikernel-dns-stub-hvt.0.0.2/opam b/packages/mirage-unikernel-dns-stub-hvt.0.0.2/opam index 5bf16c1..1515abe 100644 --- a/packages/mirage-unikernel-dns-stub-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-dns-stub-hvt.0.0.2/opam @@ -12,8 +12,8 @@ build: ["sh" "-exc" "cd dns-only/ && mirage build"] install: [ [ "cp" "dns-only/dist/dns-stub.hvt" "%{bin}%/dns-stub.hvt" ] - [ "strip" "%{bin}%/dns_stub.hvt" ] - [ "cp" "dns-only/dist/dns_stub.hvt" "%{prefix}%/dns_stub.hvt.debug" ] + [ "strip" "%{bin}%/dns-stub.hvt" ] + [ "cp" "dns-only/dist/dns-stub.hvt" "%{prefix}%/dns-stub.hvt.debug" ] # [ "cp" "README.md" "%{prefix}%/README.md" ] ] diff --git a/packages/mirage-unikernel-ovpn_router-hvt.0.0.2/opam b/packages/mirage-unikernel-ovpn_router-hvt.0.0.2/opam index 95b3009..499cb2b 100644 --- a/packages/mirage-unikernel-ovpn_router-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-ovpn_router-hvt.0.0.2/opam @@ -12,8 +12,9 @@ build: ["sh" "-exc" "cd mirage-router/ && mirage build"] install: [ [ "cp" "mirage-router/dist/ovpn-router.hvt" "%{bin}%/ovpn-router.hvt" ] - [ "strip" "%{bin}%/ovpn_router.hvt" ] - [ "cp" "mirage-router/dist/ovpn_router.hvt" "%{prefix}%/ovpn_router.hvt.debug" ] + [ "strip" "%{bin}%/ovpn-router.hvt" ] + [ "cp" "mirage-router/dist/ovpn-router.hvt" "%{prefix}%/ovpn-router.hvt.debug" ] +# [ "cp" "README.md" "%{prefix}%/README.md" ] ] depends: [