diff --git a/packages/mirage-unikernel-hello-hvt.0.0.2/opam b/packages/mirage-unikernel-hello-hvt.0.0.2/opam index 7286670..92caca7 100644 --- a/packages/mirage-unikernel-hello-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-hello-hvt.0.0.2/opam @@ -6,11 +6,7 @@ authors: "dummy" homepage: "dummy" bug-reports: "dummy" dev-repo: "git://dummy" -synopsis: "Unikernel hello-key - switch dependencies" -description: """ -It assumes that local dependencies are already -fetched. -""" +synopsis: "The famous hello world unikernel." build: ["sh" "-exc" "cd tutorial/hello-key/ && mirage build"]