robur/unikernel-repo
4
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

hello: re-add sensible synopsis

Browse source
This commit is contained in:
Hannes Mehnert 2022-08-05 11:37:32 +02:00
parent 93e0a26344
commit c6127dfa03
1 changed files with 1 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
packages/mirage-unikernel-hello-hvt.0.0.2/opam vendored
View file

@ -6,11 +6,7 @@ authors: "dummy"
homepage: "dummy" homepage: "dummy"
bug-reports: "dummy" bug-reports: "dummy"
dev-repo: "git://dummy" dev-repo: "git://dummy"
synopsis: "Unikernel hello-key - switch dependencies" synopsis: "The famous hello world unikernel."
description: """
It assumes that local dependencies are already
fetched.
"""
build: ["sh" "-exc" "cd tutorial/hello-key/ && mirage build"] build: ["sh" "-exc" "cd tutorial/hello-key/ && mirage build"]