-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
41 lines (38 loc) · 1.27 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
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: [
["dune" "subst"] {dev}
[ "dune" "build" "-p" name "-j" jobs ]
]
depends: [
"dune" {>= "1.0"}
"cstruct" {>= "2.2.0"}
"ppx_cstruct"
"vchan-xen" {>= "5.0.0"}
"xen-evtchn"
"xen-gnt"
"mirage-xen" {>= "5.0.0" & < "6.0.0"}
"lwt"
"logs" {>= "0.5.0"}
"ocaml" {>= "4.06.0"}
]
synopsis: "Implementations of various Qubes protocols for MirageOS"
description: """
Implementations of various Qubes protocols:
- 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"""
url {
src:
"https://github.com/mirage/mirage-qubes/releases/download/v0.8.3/mirage-qubes-v0.8.3.tbz"
checksum: [
"sha256=5628b7f8076543a1d700d3d31c408b905cfad7506e05c97d3f8781c11133e548"
"sha512=527c9e35bd79311f720f3fe1c55c3628de3bcd20a51c7c63a0e8a13fe1eea4ce32d46ce22b3b5db409280a3549fcb61267844357ced6d23f3f7d49deffaf5c99"
]
}