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 "fmt" {>= "0.8.5"}
19 "uuidm" {>= "0.9.6"}
20 "metrics" {< "0.5"} # should have been "= version" but to avoid breaking lock files and stuff..
21 "mtime" {>= "1.0.0" & < "1.4.0"}
22 "lwt" {>= "2.4.7"}
23 "conf-gnuplot"
24 "metrics-lwt" {with-test}
25]
26synopsis: "Unix backend for the Metrics library"
27url {
28 src:
29 "https://github.com/mirage/metrics/releases/download/0.1.0/metrics-0.1.0.tbz"
30 checksum: [
31 "sha256=2a5c7bf7ba69631ab5427362cac7df5f88d4abcc2b6743400a308f9ead42c84b"
32 "md5=bdc701d2cbe8ec6a172c56468279dc38"
33 ]
34}