From 357651b37af76bf050be7554c7b705b6d1f992f4 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Fri, 5 Aug 2022 11:50:06 +0200 Subject: [PATCH] minor --- packages/mirage-unikernel-hello-hvt.0.0.2/opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/mirage-unikernel-hello-hvt.0.0.2/opam b/packages/mirage-unikernel-hello-hvt.0.0.2/opam index 92caca7..78b17df 100644 --- a/packages/mirage-unikernel-hello-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-hello-hvt.0.0.2/opam @@ -6,7 +6,7 @@ authors: "dummy" homepage: "dummy" bug-reports: "dummy" dev-repo: "git://dummy" -synopsis: "The famous hello world unikernel." +synopsis: "The famous hello world unikernel" build: ["sh" "-exc" "cd tutorial/hello-key/ && mirage build"] @@ -46,4 +46,4 @@ x-opam-monorepo-opam-provided: ["mirage" "ocaml""ocaml-solo5" "opam-monorepo"] -url { src: "git+https://github.com/mirage/mirage-skeleton.git" } \ No newline at end of file +url { src: "git+https://github.com/mirage/mirage-skeleton.git" }