chore: add upper bound on pbrt

imandra-ai · Dec 3, 2023 · e53cffb · e53cffb
1 parent 211c328
commit e53cffb
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/dune-project b/dune-project
@@ -31,7 +31,7 @@
   (odoc :with-doc)
   (alcotest :with-test)
   (pbrt
-   (>= 2.3))
+   (and (>= 2.3) (< 3.0)))
   (ocaml-lsp-server :with-dev-setup)
   (ocamlformat
    (and
@@ -78,7 +78,7 @@
   (opentelemetry
    (= :version))
   (pbrt
-   (>= 2.3))
+   (and (>= 2.3) (< 3.0)))
   (odoc :with-doc)
   (ezcurl
    (>= 0.2.3))
@@ -114,7 +114,7 @@
   (opentelemetry
    (= :version))
   (pbrt
-   (>= 2.2))
+   (and (>= 2.2) (< 3.0)))
   (odoc :with-doc)
   (lwt
    (>= "5.3"))

diff --git a/opentelemetry-client-cohttp-lwt.opam b/opentelemetry-client-cohttp-lwt.opam
@@ -16,7 +16,7 @@ depends: [
   "ocaml" {>= "4.08"}
   "mtime" {>= "1.4"}
   "opentelemetry" {= version}
-  "pbrt" {>= "2.2"}
+  "pbrt" {>= "2.2" & < "3.0"}
   "odoc" {with-doc}
   "lwt" {>= "5.3"}
   "lwt_ppx" {>= "2.0"}

diff --git a/opentelemetry-client-ocurl.opam b/opentelemetry-client-ocurl.opam
@@ -16,7 +16,7 @@ depends: [
   "ocaml" {>= "4.08"}
   "mtime" {>= "1.4"}
   "opentelemetry" {= version}
-  "pbrt" {>= "2.3"}
+  "pbrt" {>= "2.3" & < "3.0"}
   "odoc" {with-doc}
   "ezcurl" {>= "0.2.3"}
   "ocurl"

diff --git a/opentelemetry.opam b/opentelemetry.opam
@@ -19,7 +19,7 @@ depends: [
   "ambient-context"
   "odoc" {with-doc}
   "alcotest" {with-test}
-  "pbrt" {>= "2.3"}
+  "pbrt" {>= "2.3" & < "3.0"}
   "ocaml-lsp-server" {with-dev-setup}
   "ocamlformat" {with-dev-setup & >= "0.24" & < "0.25"}
 ]