diff --git a/packages/mirage-unikernel-hello-hvt.0.0.1/opam b/packages/mirage-unikernel-hello-hvt.0.0.1/opam index 0aaf990..16853f7 100644 --- a/packages/mirage-unikernel-hello-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-hello-hvt.0.0.1/opam @@ -29,4 +29,4 @@ install: [ [ "strip" "%{bin}%/hello.hvt" ] [ "cp" "tutorial/hello-key/hello.hvt" "%{prefix}%/hello.hvt.debug" ] ] -url { src: "git+https://github.com/mirage/mirage-skeleton.git" } +url { src: "git+https://github.com/mirage/mirage-skeleton.git#mirage3" } diff --git a/packages/mirage-unikernel-static-website-hvt.0.0.1/opam b/packages/mirage-unikernel-static-website-hvt.0.0.1/opam index 1ed72a8..6aea2e8 100644 --- a/packages/mirage-unikernel-static-website-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-static-website-hvt.0.0.1/opam @@ -41,4 +41,4 @@ install: [ [ "strip" "%{bin}%/https.hvt" ] [ "cp" "applications/static_website_tls/https.hvt" "%{prefix}%/https.hvt.debug" ] ] -url { src: "git+https://github.com/mirage/mirage-skeleton.git" } +url { src: "git+https://github.com/mirage/mirage-skeleton.git#mirage3" }