prepare for 0.4

imandra-ai · Mar 6, 2023 · 7310b5c · 7310b5c
1 parent ed8ef6a
commit 7310b5c
Show file tree

Hide file tree

Showing 6 changed files with 10 additions and 6 deletions.
diff --git a/dune-project b/dune-project
@@ -4,7 +4,7 @@
 (source
  (github aestheticintegration/ocaml-opentelemetry))
 
-(version 0.3)
+(version 0.4)
 
 (authors "the Imandra team and contributors")
 (maintainers "the Imandra team and contributors")
@@ -53,6 +53,7 @@
   (opentelemetry (= :version))
   (opentelemetry-lwt (= :version))
   (odoc :with-doc)
+  (lwt (>= "5.3"))
   (cohttp-lwt (>= "4.0.0")))
  (synopsis "Opentelemetry tracing for Cohttp HTTP servers"))
 
@@ -64,6 +65,7 @@
    (opentelemetry (= :version))
    (pbrt (>= 2.2))
    (odoc :with-doc)
+   (lwt (>= "5.3"))
    (lwt_ppx :with-test)
    cohttp-lwt
    cohttp-lwt-unix)

diff --git a/opentelemetry-client-cohttp-lwt.opam b/opentelemetry-client-cohttp-lwt.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3"
+version: "0.4"
 synopsis: "Collector client for opentelemetry, using cohttp + lwt"
 maintainer: ["the Imandra team and contributors"]
 authors: ["the Imandra team and contributors"]
@@ -15,6 +15,7 @@ depends: [
   "opentelemetry" {= version}
   "pbrt" {>= "2.2"}
   "odoc" {with-doc}
+  "lwt" {>= "5.3"}
   "lwt_ppx" {with-test}
   "cohttp-lwt"
   "cohttp-lwt-unix"

diff --git a/opentelemetry-client-ocurl.opam b/opentelemetry-client-ocurl.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3"
+version: "0.4"
 synopsis: "Collector client for opentelemetry, using http + ocurl"
 maintainer: ["the Imandra team and contributors"]
 authors: ["the Imandra team and contributors"]

diff --git a/opentelemetry-cohttp-lwt.opam b/opentelemetry-cohttp-lwt.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3"
+version: "0.4"
 synopsis: "Opentelemetry tracing for Cohttp HTTP servers"
 maintainer: ["the Imandra team and contributors"]
 authors: ["the Imandra team and contributors"]
@@ -14,6 +14,7 @@ depends: [
   "opentelemetry" {= version}
   "opentelemetry-lwt" {= version}
   "odoc" {with-doc}
+  "lwt" {>= "5.3"}
   "cohttp-lwt" {>= "4.0.0"}
 ]
 build: [

diff --git a/opentelemetry-lwt.opam b/opentelemetry-lwt.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3"
+version: "0.4"
 synopsis: "Lwt-compatible instrumentation for https://opentelemetry.io"
 maintainer: ["the Imandra team and contributors"]
 authors: ["the Imandra team and contributors"]

diff --git a/opentelemetry.opam b/opentelemetry.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3"
+version: "0.4"
 synopsis: "Instrumentation for https://opentelemetry.io"
 maintainer: ["the Imandra team and contributors"]
 authors: ["the Imandra team and contributors"]