this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Thomas Leonard <talex5@gmail.com>"
3authors: "Thomas Leonard <talex5@gmail.com>"
4homepage: "https://github.com/mirage/mirage-profile"
5dev-repo: "git+https://github.com/mirage/mirage-profile.git"
6bug-reports: "https://github.com/mirage/mirage-profile/issues"
7doc: "https://mirage.github.io/mirage-profile"
8license: "BSD-2-clause"
9
10build: [
11 ["jbuilder" "subst" "-p" name] {dev}
12 [ "jbuilder" "build" "-p" name "-j" jobs ]
13]
14
15depends: [
16 "ocaml" {>= "4.03.0"}
17 "jbuilder" {>= "1.0+beta9"}
18 "mirage-profile" {= "0.8.1"}
19 "io-page-xen" {>= "2.0.0"}
20 "mirage-xen-minios"
21]
22synopsis: "collect runtime profiling information in CTF format"
23description: "See http://openmirage.org/wiki/profiling for instructions."
24url {
25 src:
26 "https://github.com/mirage/mirage-profile/releases/download/0.8.1/mirage-profile-0.8.1.tbz"
27 checksum: [
28 "sha256=b186fb2df3751b2c13372d137fe9627900d2d8c1d6e8641441fde51d95506761"
29 "md5=42cb61b5e377cbcc0a3620ba996473a6"
30 ]
31}
32flags: deprecated
33post-messages: [ "mirage-profile-xen is deprecated" ]