diff --git a/released/packages/rocq-elpi-json/rocq-elpi-json.3.3.1/opam b/released/packages/rocq-elpi-json/rocq-elpi-json.3.3.1/opam
index abbf52391..c299b261e 100644
--- a/released/packages/rocq-elpi-json/rocq-elpi-json.3.3.1/opam
+++ b/released/packages/rocq-elpi-json/rocq-elpi-json.3.3.1/opam
@@ -8,7 +8,7 @@ license: "LGPL-2.1-or-later"
 homepage: "https://github.com/LPCIC/coq-elpi/apps/json/"
 bug-reports: "https://github.com/LPCIC/coq-elpi/issues"
 depends: [
-  "dune" {>= "3.13"}
+  "dune" {>= "3.13" & < "3.24"}
   "rocq-elpi"
   "yojson"
   "odoc" {with-doc}
diff --git a/released/packages/rocq-elpi-json/rocq-elpi-json.3.4.0/opam b/released/packages/rocq-elpi-json/rocq-elpi-json.3.4.0/opam
index ac2b2b8f8..04dee74e5 100644
--- a/released/packages/rocq-elpi-json/rocq-elpi-json.3.4.0/opam
+++ b/released/packages/rocq-elpi-json/rocq-elpi-json.3.4.0/opam
@@ -8,7 +8,7 @@ license: "LGPL-2.1-or-later"
 homepage: "https://github.com/LPCIC/coq-elpi/apps/json/"
 bug-reports: "https://github.com/LPCIC/coq-elpi/issues"
 depends: [
-  "dune" {>= "3.13"}
+  "dune" {>= "3.13" & < "3.24"}
   "rocq-elpi"
   "yojson"
   "odoc" {with-doc}
diff --git a/released/packages/rocq-elpi-json/rocq-elpi-json.3.5.0/opam b/released/packages/rocq-elpi-json/rocq-elpi-json.3.5.0/opam
index 6d6937784..1a8e7a305 100644
--- a/released/packages/rocq-elpi-json/rocq-elpi-json.3.5.0/opam
+++ b/released/packages/rocq-elpi-json/rocq-elpi-json.3.5.0/opam
@@ -8,7 +8,7 @@ license: "LGPL-2.1-or-later"
 homepage: "https://github.com/LPCIC/coq-elpi/apps/json/"
 bug-reports: "https://github.com/LPCIC/coq-elpi/issues"
 depends: [
-  "dune" {>= "3.13"}
+  "dune" {>= "3.13" & < "3.24"}
   "rocq-elpi"
   "yojson"
   "odoc" {with-doc}
diff --git a/released/packages/rocq-elpi-xml/rocq-elpi-xml.3.4.0/opam b/released/packages/rocq-elpi-xml/rocq-elpi-xml.3.4.0/opam
index 91e06646a..4b54c34bc 100644
--- a/released/packages/rocq-elpi-xml/rocq-elpi-xml.3.4.0/opam
+++ b/released/packages/rocq-elpi-xml/rocq-elpi-xml.3.4.0/opam
@@ -8,7 +8,7 @@ license: "LGPL-2.1-or-later"
 homepage: "https://github.com/LPCIC/coq-elpi/apps/xml/"
 bug-reports: "https://github.com/LPCIC/coq-elpi/issues"
 depends: [
-  "dune" {>= "3.13"}
+  "dune" {>= "3.13" & < "3.24"}
   "rocq-elpi"
   "xml-light"
   "odoc" {with-doc}
diff --git a/released/packages/rocq-elpi-xml/rocq-elpi-xml.3.5.0/opam b/released/packages/rocq-elpi-xml/rocq-elpi-xml.3.5.0/opam
index 5f3887780..d39d07e6a 100644
--- a/released/packages/rocq-elpi-xml/rocq-elpi-xml.3.5.0/opam
+++ b/released/packages/rocq-elpi-xml/rocq-elpi-xml.3.5.0/opam
@@ -8,7 +8,7 @@ license: "LGPL-2.1-or-later"
 homepage: "https://github.com/LPCIC/coq-elpi/apps/xml/"
 bug-reports: "https://github.com/LPCIC/coq-elpi/issues"
 depends: [
-  "dune" {>= "3.13"}
+  "dune" {>= "3.13" & < "3.24"}
   "rocq-elpi"
   "xml-light"
   "odoc" {with-doc}