opam-version: "2.0"
maintainer:   "talex@gmail.com"
authors:      ["Thomas Leonard"]
homepage:     "https://github.com/mirage/mirage-qubes"
bug-reports:  "https://github.com/mirage/mirage-qubes/issues"
dev-repo: "git+https://github.com/mirage/mirage-qubes.git"
doc:          "https://mirage.github.io/mirage-qubes"
license:      "BSD-2-Clause"

build: [
  [ "jbuilder" "subst" "-p" name] {pinned}
  [ "jbuilder" "build" "-p" name "-j" jobs ]
]

depends: [
  "ocaml" {>= "4.03.0"}
  "ocamlfind" {build}
  "jbuilder" {>= "1.0+beta9"}
  "cstruct" {>= "1.9.0" & < "3.4.0"}
  "vchan-xen"
  "xen-evtchn"
  "xen-gnt"
  "mirage-xen" {>= "3.0.0" & < "5.0.0"}
  "lwt"
  "mirage-types-lwt" {>= "3.0.0" & < "3.7.0"}
  "logs" {>= "0.5.0"}
]
synopsis: "Implementations of various Qubes 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"""
url {
  src:
    "https://github.com/mirage/mirage-qubes/releases/download/0.6/mirage-qubes-0.6.tbz"
  checksum: "md5=4e4050c75e4294356627d8157b733026"
}
