This commit is contained in:
Hannes Mehnert 2022-08-05 11:50:06 +02:00
parent c6127dfa03
commit 357651b37a

View file

@ -6,7 +6,7 @@ authors: "dummy"
homepage: "dummy" homepage: "dummy"
bug-reports: "dummy" bug-reports: "dummy"
dev-repo: "git://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"] build: ["sh" "-exc" "cd tutorial/hello-key/ && mirage build"]
@ -46,4 +46,4 @@ x-opam-monorepo-opam-provided: ["mirage"
"ocaml""ocaml-solo5" "ocaml""ocaml-solo5"
"opam-monorepo"] "opam-monorepo"]
url { src: "git+https://github.com/mirage/mirage-skeleton.git" } url { src: "git+https://github.com/mirage/mirage-skeleton.git" }