this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "thomas@gazagnaire.org"
3authors: ["Thomas Gazagnaire"]
4license: "ISC"
5homepage: "https://github.com/mirage/metrics"
6bug-reports: "https://github.com/mirage/metrics/issues"
7dev-repo: "git+https://github.com/mirage/metrics.git"
8doc: "https://mirage.github.io/metrics/"
9
10build: [
11 ["dune" "subst"] {dev}
12 ["dune" "build" "-p" name "-j" jobs]
13 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
14]
15
16depends: [
17 "dune" {>= "1.4"}
18 "uuidm"
19 "metrics" {= version}
20 "mtime" {< "1.4.0"}
21 "lwt"
22 "metrics-lwt" {=version & with-test}
23 "conf-gnuplot"
24]
25synopsis: "Unix backend for the Metrics library"
26url {
27 src:
28 "https://github.com/mirage/metrics/releases/download/0.2.0/metrics-0.2.0.tbz"
29 checksum: [
30 "sha256=0f4ff94e0b632dffd8b1d6c180cc0e49873cf29ba6a6f8e1a3e8d811252b4148"
31 "sha512=3f1a6cfbcc674409a7382446084c11c3646e6b380e4972306334e7fa0e558d256dadfd39f7f3acd32afffe78757f66ecefc1b7960ae366afe09397ba0bbdaf68"
32 ]
33}