From 177b46020c6535042e334c4399ffdf46733304b1 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 4 Apr 2022 12:41:03 +0200 Subject: [PATCH] mirage-skeleton projects: use mirage3 branch --- packages/mirage-unikernel-hello-hvt.0.0.1/opam | 2 +- packages/mirage-unikernel-static-website-hvt.0.0.1/opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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" }