From 40420bb7e2a10c192217387c5676f525c3c351b5 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 10 Jun 2022 09:33:25 -0400 Subject: [PATCH] chore: upstream patch from @mseri --- dune-project | 2 +- opentelemetry-cohttp-lwt.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dune-project b/dune-project index e4797b3d..de97f346 100644 --- a/dune-project +++ b/dune-project @@ -55,5 +55,5 @@ (opentelemetry (= :version)) (opentelemetry-lwt (= :version)) (odoc :with-doc) - cohttp-lwt) + (cohttp-lwt (>= "4.0.0"))) (synopsis "Opentelemetry tracing for Cohttp HTTP servers")) diff --git a/opentelemetry-cohttp-lwt.opam b/opentelemetry-cohttp-lwt.opam index a3034bb9..b882cdaa 100644 --- a/opentelemetry-cohttp-lwt.opam +++ b/opentelemetry-cohttp-lwt.opam @@ -14,7 +14,7 @@ depends: [ "opentelemetry" {= version} "opentelemetry-lwt" {= version} "odoc" {with-doc} - "cohttp-lwt" + "cohttp-lwt" {>= "4.0.0"} ] build: [ ["dune" "subst"] {dev}