depopt on trace requires 0.3

imandra-ai · Aug 28, 2023 · 921b5da · 921b5da
1 parent 8e37377
commit 921b5da
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/dune-project b/dune-project
@@ -20,7 +20,9 @@
    (odoc :with-doc)
    (pbrt (>= 2.3)))
  (depopts
-   (trace (>= 0.1)))
+   trace)
+ (conflicts
+   (trace (or (< 0.3) (>= 0.4))))
  (tags
   (instrumentation tracing opentelemetry datadog jaeger)))
 

diff --git a/opentelemetry.opam b/opentelemetry.opam
@@ -15,8 +15,9 @@ depends: [
   "odoc" {with-doc}
   "pbrt" {>= "2.3"}
 ]
-depopts: [
-  "trace" {>= "0.1"}
+depopts: ["trace"]
+conflicts: [
+  "trace" {< "0.3" | >= "0.4"}
 ]
 build: [
   ["dune" "subst"] {dev}