this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Instrumentation for https://opentelemetry.io"
3maintainer: ["the Imandra team and contributors"]
4authors: ["the Imandra team and contributors"]
5license: "MIT"
6tags: ["instrumentation" "tracing" "opentelemetry" "datadog" "jaeger"]
7homepage: "https://github.com/imandra-ai/ocaml-opentelemetry"
8bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues"
9depends: [
10 "dune" {>= "2.7"}
11 "ocaml" {>= "4.08"}
12 "ptime"
13 "odoc" {with-doc}
14 "pbrt" {>= "2.3" & < "3.0.0"}
15]
16depopts: [
17 "trace"
18]
19conflicts: [
20 "trace" {< "0.1" | >= "0.3"}
21]
22build: [
23 ["dune" "subst"] {dev}
24 [
25 "dune"
26 "build"
27 "-p"
28 name
29 "-j"
30 jobs
31 "@install"
32 "@runtest" {with-test}
33 "@doc" {with-doc}
34 ]
35]
36dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git"
37url {
38 src:
39 "https://github.com/imandra-ai/ocaml-opentelemetry/archive/v0.5.tar.gz"
40 checksum: [
41 "md5=22afc1c6bc7e2397d5796776d5fb542b"
42 "sha512=26ffd7233439a9a419ed0415b5884b61ee3b8f6bf44505b446065fe99d75f6b062db5236eac6c6641c9d2f294d0a1d3d44f1d44378cc9bcad872bca84767636c"
43 ]
44}