diff --git a/dune-project b/dune-project
index 7f3b0d62..bf5d2212 100644
--- a/dune-project
+++ b/dune-project
@@ -41,10 +41,7 @@
     (< 0.25))))
  (depopts trace)
  (conflicts
-  (trace
-   (or
-    (< 0.4)
-    (>= 0.7))))
+  (trace (< 0.4)))
  (tags
   (instrumentation tracing opentelemetry datadog jaeger)))
 
diff --git a/opentelemetry.opam b/opentelemetry.opam
index 0c19d367..c44b465e 100644
--- a/opentelemetry.opam
+++ b/opentelemetry.opam
@@ -26,7 +26,7 @@ depends: [
 ]
 depopts: ["trace"]
 conflicts: [
-  "trace" {< "0.4" | >= "0.7"}
+  "trace" {< "0.4"}
 ]
 build: [
   ["dune" "subst"] {dev}