opam-version: "2.0"
maintainer: "talex@gmail.com"
authors: ["Thomas Leonard"]
license: "BSD-2-Clause"
homepage: "https://github.com/talex5/mirage-qubes"
bug-reports: "https://github.com/talex5/mirage-qubes/issues"
dev-repo: "git+https://github.com/talex5/mirage-qubes.git"
build: [
  ["./configure"]
  [make]
]
install: [make "install"]
remove: ["ocamlfind" "remove" "mirage-qubes"]
depends: [
  "ocaml" {>= "4.02.3"}
  "ocamlfind" {build}
  "ocamlbuild" {build}
  "cstruct" {>= "1.9.0"}
  "vchan" {>= "2.0.0" & < "3.0.0"}
  "xen-evtchn"
  "xen-gnt"
  "mirage-xen" {<"3.0.0"}
  "lwt" {<"4.0.0"}
  "mirage-types" {< "3.0.0"}
  "mirage-types-lwt" {<"3.0.0"}
  "logs" {>= "0.5.0"}
]
synopsis: "Implementations of various QubesOS protocols:"
description: """
- `Qubes.RExec`: provide services to other VMs
- `Qubes.GUI`: just enough of the GUI protocol so that Qubes accepts the AppVM
- `Qubes.DB`: read and write the VM's QubesDB database

See [qubes-mirage-skeleton][] for an example using this library.

[qubes-mirage-skeleton]: https://github.com/talex5/qubes-mirage-skeleton"""
flags: light-uninstall
url {
  src: "https://github.com/talex5/mirage-qubes/archive/v0.3.tar.gz"
  checksum: "md5=02e4bd034b27ba34886f5bf089fdc40c"
}
