diff --git a/released/packages/coq-elpi/coq-elpi.2.2.0/opam b/released/packages/coq-elpi/coq-elpi.2.2.0/opam
index f7d7622a1f..a198a107e3 100644
--- a/released/packages/coq-elpi/coq-elpi.2.2.0/opam
+++ b/released/packages/coq-elpi/coq-elpi.2.2.0/opam
@@ -14,7 +14,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"}
   "stdlib-shims"
   "elpi" {>= "1.18.2" & < "1.20.0~"}
diff --git a/released/packages/coq-elpi/coq-elpi.2.2.1/opam b/released/packages/coq-elpi/coq-elpi.2.2.1/opam
index c2fcd98f12..6f156c413b 100644
--- a/released/packages/coq-elpi/coq-elpi.2.2.1/opam
+++ b/released/packages/coq-elpi/coq-elpi.2.2.1/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"}
   "stdlib-shims"
   "elpi" {>= "1.18.2" & < "1.20.0~"}
diff --git a/released/packages/coq-elpi/coq-elpi.2.2.2/opam b/released/packages/coq-elpi/coq-elpi.2.2.2/opam
index d0bc27235f..bf74be2946 100644
--- a/released/packages/coq-elpi/coq-elpi.2.2.2/opam
+++ b/released/packages/coq-elpi/coq-elpi.2.2.2/opam
@@ -14,7 +14,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"}
   "stdlib-shims"
   "elpi" {>= "1.18.2" & < "1.20.0~"}
diff --git a/released/packages/coq-elpi/coq-elpi.2.2.3/opam b/released/packages/coq-elpi/coq-elpi.2.2.3/opam
index 5d246a2deb..ce3bbc99af 100644
--- a/released/packages/coq-elpi/coq-elpi.2.2.3/opam
+++ b/released/packages/coq-elpi/coq-elpi.2.2.3/opam
@@ -14,7 +14,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"}
   "stdlib-shims"
   "elpi" {>= "1.18.2" & < "1.20.0~"}
diff --git a/released/packages/coq-elpi/coq-elpi.2.3.0/opam b/released/packages/coq-elpi/coq-elpi.2.3.0/opam
index aa90026918..30b6ebd590 100644
--- a/released/packages/coq-elpi/coq-elpi.2.3.0/opam
+++ b/released/packages/coq-elpi/coq-elpi.2.3.0/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" {>= "2.0.3" & < "2.1.0~"}
   "coq" {>= "8.20+rc1" & < "8.21~"}
diff --git a/released/packages/coq-elpi/coq-elpi.2.4.0/opam b/released/packages/coq-elpi/coq-elpi.2.4.0/opam
index 16dacff077..22551ce6f0 100644
--- a/released/packages/coq-elpi/coq-elpi.2.4.0/opam
+++ b/released/packages/coq-elpi/coq-elpi.2.4.0/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" {>= "2.0.7" & < "2.1.0~"}
   "coq" {>= "8.20+rc1" & < "9.1~"}
diff --git a/released/packages/rocq-elpi/rocq-elpi.2.5.0/opam b/released/packages/rocq-elpi/rocq-elpi.2.5.0/opam
index edfe512b7b..8f4c347a32 100644
--- a/released/packages/rocq-elpi/rocq-elpi.2.5.0/opam
+++ b/released/packages/rocq-elpi/rocq-elpi.2.5.0/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" {>= "2.0.7" & < "2.1.0~"}
   ("coq" {>= "8.20+rc1" & < "8.21~"}
diff --git a/released/packages/rocq-elpi/rocq-elpi.2.5.1/opam b/released/packages/rocq-elpi/rocq-elpi.2.5.1/opam
index 0cf84b9ac8..689656d5d8 100644
--- a/released/packages/rocq-elpi/rocq-elpi.2.5.1/opam
+++ b/released/packages/rocq-elpi/rocq-elpi.2.5.1/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" {>= "2.0.7" & < "2.1.0~"}
   ("coq" {>= "8.20+rc1" & < "8.21~"}
diff --git a/released/packages/rocq-elpi/rocq-elpi.2.5.2/opam b/released/packages/rocq-elpi/rocq-elpi.2.5.2/opam
index 3448ec2fa8..54222aa641 100644
--- a/released/packages/rocq-elpi/rocq-elpi.2.5.2/opam
+++ b/released/packages/rocq-elpi/rocq-elpi.2.5.2/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" {>= "2.0.7" & < "2.1.0~"}
   ("coq" {>= "8.20+rc1" & < "8.21~"}
diff --git a/released/packages/rocq-elpi/rocq-elpi.2.6.0/opam b/released/packages/rocq-elpi/rocq-elpi.2.6.0/opam
index ce3000281e..8a134f8526 100644
--- a/released/packages/rocq-elpi/rocq-elpi.2.6.0/opam
+++ b/released/packages/rocq-elpi/rocq-elpi.2.6.0/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" {>= "2.0.7" & < "2.1.0~"}
   ("coq" {>= "8.20+rc1" & < "8.21~"}
diff --git a/released/packages/rocq-elpi/rocq-elpi.3.0.0/opam b/released/packages/rocq-elpi/rocq-elpi.3.0.0/opam
index 6cf97cb33d..a22c6c4aeb 100644
--- a/released/packages/rocq-elpi/rocq-elpi.3.0.0/opam
+++ b/released/packages/rocq-elpi/rocq-elpi.3.0.0/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.0.0" & < "3.1.0~"}
   ("coq" {>= "8.20+rc1" & < "8.21~"}
diff --git a/released/packages/rocq-elpi/rocq-elpi.3.1.0/opam b/released/packages/rocq-elpi/rocq-elpi.3.1.0/opam
index 02a63ed5e6..d6850e365f 100644
--- a/released/packages/rocq-elpi/rocq-elpi.3.1.0/opam
+++ b/released/packages/rocq-elpi/rocq-elpi.3.1.0/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.0.1" & < "3.2.0~"}
   ("coq" {>= "8.20+rc1" & < "8.21~"}
diff --git a/released/packages/rocq-elpi/rocq-elpi.3.2.0/opam b/released/packages/rocq-elpi/rocq-elpi.3.2.0/opam
index ed0e3c14dc..92a8b02c51 100644
--- a/released/packages/rocq-elpi/rocq-elpi.3.2.0/opam
+++ b/released/packages/rocq-elpi/rocq-elpi.3.2.0/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.0.1" & < "3.5.0~"}
   ("coq" {>= "8.20+rc1" & < "8.21~"}
diff --git a/released/packages/rocq-elpi/rocq-elpi.3.3.0/opam b/released/packages/rocq-elpi/rocq-elpi.3.3.0/opam
index ee9d2b94e0..b76bd8a025 100644
--- a/released/packages/rocq-elpi/rocq-elpi.3.3.0/opam
+++ b/released/packages/rocq-elpi/rocq-elpi.3.3.0/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.6.1" & < "3.7.0~"}
   "rocq-core" {>= "9.0+rc1" & < "9.3~" | = "dev"}
diff --git a/released/packages/rocq-elpi/rocq-elpi.3.3.1/opam b/released/packages/rocq-elpi/rocq-elpi.3.3.1/opam
index f5410acfc7..87df690f03 100644
--- a/released/packages/rocq-elpi/rocq-elpi.3.3.1/opam
+++ b/released/packages/rocq-elpi/rocq-elpi.3.3.1/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.6.1" & < "3.7.0~"}
   "rocq-core" {>= "9.0+rc1" & < "9.3~" | = "dev"}
diff --git a/released/packages/rocq-elpi/rocq-elpi.3.4.0/opam b/released/packages/rocq-elpi/rocq-elpi.3.4.0/opam
index 5e3302d833..42a108b67a 100644
--- a/released/packages/rocq-elpi/rocq-elpi.3.4.0/opam
+++ b/released/packages/rocq-elpi/rocq-elpi.3.4.0/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" & < "3.8.0~"}
   "rocq-core" {>= "9.0+rc1" & < "9.3~" | = "dev"}