this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Robur <team@robur.coop>"
3authors: ["Robur <team@robur.coop>"]
4homepage: "https://github.com/robur-coop/mirage-monitoring"
5doc: "https://robur-coop.github.io/mirage-monitoring"
6dev-repo: "git+https://github.com/robur-coop/mirage-monitoring.git"
7bug-reports: "https://github.com/robur-coop/mirage-monitoring/issues"
8license: "AGPL-3.0-only"
9
10depends: [
11 "ocaml" {>= "4.11.0"}
12 "dune"
13 "logs" {>= "0.6.3"}
14 "metrics" {>= "0.4.0"}
15 "metrics-lwt" {>= "0.2.0"}
16 "metrics-influx" {>= "0.2.0"}
17 "mirage-time" {>= "2.0.0"}
18 "tcpip" {>= "7.0.0"}
19 "mirage-runtime" {>= "4.3.0" & < "4.5.0"}
20 "memtrace-mirage" {>= "0.2.1.2.2" & < "0.2.1.2.3"}
21 "mirage-clock" {>= "4.0.0"}
22]
23conflicts: [
24 "mirage-solo5" {< "0.9.2"}
25 "mirage-xen" {< "8.0.2"}
26]
27build: [
28 ["dune" "subst"] {dev}
29 ["dune" "build" "-p" name "-j" jobs]
30 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
31]
32synopsis: "Monitoring of MirageOS unikernels"
33description: """
34Reporting metrics to Influx, Telegraf. Dynamic adjusting log level and metrics
35sources, memprof profiling.
36"""
37url {
38 src:
39 "https://github.com/robur-coop/mirage-monitoring/releases/download/v0.0.4/mirage-monitoring-0.0.4.tbz"
40 checksum: [
41 "sha256=8e0bec0ea98fd029684adef9269d05df1ffe22294d71e4eca35476871460a96e"
42 "sha512=7f80dd59fba8c7e1553fedb3534606b4fad1211c2883e34715c5129da8c08aef255f9eebd8956e6766cba674bdd6130bfcda8971552b2894f99d43caf762854f"
43 ]
44}
45x-commit-hash: "8ef147f1ce52dd0e5d0b401f806a55b4f574800d"