this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Collector client for opentelemetry, using http + ezcurl"
3maintainer: ["the Imandra team and contributors"]
4authors: ["the Imandra team and contributors"]
5license: "MIT"
6homepage: "https://github.com/imandra-ai/ocaml-opentelemetry"
7bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues"
8depends: [
9 "dune" {>= "2.7"}
10 "ocaml" {>= "4.08"}
11 "mtime" {>= "1.4"}
12 "opentelemetry" {= version}
13 "pbrt" {>= "2.3"}
14 "odoc" {with-doc}
15 "ezcurl" {>= "0.2.3"}
16 "ocurl"
17]
18build: [
19 ["dune" "subst"] {dev}
20 [
21 "dune"
22 "build"
23 "-p"
24 name
25 "-j"
26 jobs
27 "@install"
28 "@runtest" {with-test}
29 "@doc" {with-doc}
30 ]
31]
32dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git"
33url {
34 src:
35 "https://github.com/imandra-ai/ocaml-opentelemetry/archive/v0.5.tar.gz"
36 checksum: [
37 "md5=22afc1c6bc7e2397d5796776d5fb542b"
38 "sha512=26ffd7233439a9a419ed0415b5884b61ee3b8f6bf44505b446065fe99d75f6b062db5236eac6c6641c9d2f294d0a1d3d44f1d44378cc9bcad872bca84767636c"
39 ]
40}