this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "martin@lucina.net"
3authors: [
4 "Dan Williams <djwillia@us.ibm.com>"
5 "Martin Lucina <martin@lucina.net>"
6 "Ricardo Koller <kollerr@us.ibm.com>"
7]
8homepage: "https://github.com/solo5/solo5"
9bug-reports: "https://github.com/solo5/solo5/issues"
10license: "ISC"
11dev-repo: "git+https://github.com/solo5/solo5.git"
12build: [make "virtio"]
13install: [make "opam-virtio-install" "PREFIX=%{prefix}%"]
14remove: [make "opam-virtio-uninstall" "PREFIX=%{prefix}%"]
15depends: [
16 "ocaml" {>= "4.02.3"}
17 "conf-pkg-config" {< "3"}
18]
19conflicts: "solo5-kernel-ukvm"
20x-ci-accept-failures: ["debian-unstable"]
21flags: deprecated
22available: arch = "x86_64" & os != "macos"
23synopsis: "Solo5 unikernel base (virtio target)"
24description:
25 "Solo5 as a unikernel base layer provides the lowest layer for Mirage/Solo5. This package includes Solo5 built for the \"virtio\" target, to run on KVM/QEMU or any other virtio-compliant hypervisor."
26url {
27 src: "https://github.com/Solo5/solo5/archive/v0.1.1.tar.gz"
28 checksum: [
29 "sha256=98ce84328e7234d204f09f0fed5f63eb39ef22f4902a2ea4bb33c59ba4df3f77"
30 "md5=72bf81d2dfcf25815169cef842c2e2dc"
31 ]
32}