chore: upstream patch from @mseri

This commit is contained in:
Simon Cruanes 2022-06-10 09:33:25 -04:00
parent 36dcdda480
commit 40420bb7e2
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 2 additions and 2 deletions

View file

@ -55,5 +55,5 @@
(opentelemetry (= :version)) (opentelemetry (= :version))
(opentelemetry-lwt (= :version)) (opentelemetry-lwt (= :version))
(odoc :with-doc) (odoc :with-doc)
cohttp-lwt) (cohttp-lwt (>= "4.0.0")))
(synopsis "Opentelemetry tracing for Cohttp HTTP servers")) (synopsis "Opentelemetry tracing for Cohttp HTTP servers"))

View file

@ -14,7 +14,7 @@ depends: [
"opentelemetry" {= version} "opentelemetry" {= version}
"opentelemetry-lwt" {= version} "opentelemetry-lwt" {= version}
"odoc" {with-doc} "odoc" {with-doc}
"cohttp-lwt" "cohttp-lwt" {>= "4.0.0"}
] ]
build: [ build: [
["dune" "subst"] {dev} ["dune" "subst"] {dev}