diff --git a/extra-dev/packages/rocq-elpi/rocq-elpi.dev/opam b/extra-dev/packages/rocq-elpi/rocq-elpi.dev/opam
index 608dcbdac..5740ecf88 100644
--- a/extra-dev/packages/rocq-elpi/rocq-elpi.dev/opam
+++ b/extra-dev/packages/rocq-elpi/rocq-elpi.dev/opam
@@ -15,7 +15,7 @@ tags: [
 homepage: "https://github.com/LPCIC/coq-elpi"
 bug-reports: "https://github.com/LPCIC/coq-elpi/issues"
 depends: [
-  "dune" {>= "3.13"}
+  "dune" {>= "3.13" & < "3.24"}
   "ocaml" {>= "4.10.0"}
   "elpi" {>= "3.7.1"}
   "rocq-core" {>= "9.0"}
diff --git a/extra-dev/packages/rocq-micromega-plugin/rocq-micromega-plugin.dev/opam b/extra-dev/packages/rocq-micromega-plugin/rocq-micromega-plugin.dev/opam
index 413312f6b..fd6b2624d 100644
--- a/extra-dev/packages/rocq-micromega-plugin/rocq-micromega-plugin.dev/opam
+++ b/extra-dev/packages/rocq-micromega-plugin/rocq-micromega-plugin.dev/opam
@@ -12,7 +12,7 @@ tags: [
 homepage: "https://github.com/rocq-community/micromega-plugin"
 bug-reports: "https://github.com/rocq-community/micromega-plugin/issues"
 depends: [
-  "dune" {>= "3.8"}
+  "dune" {>= "3.8" & < "3.24"}
   "ocaml" {>= "4.09.0"}
   "rocq-core" {>= "9.0"}
   "ppx_optcomp"