fix: Workaround ocaml/dune#9895 (comment)

erikmd · thery · commit 1b5e15f2086e · 2024-12-19T15:02:03.000+01:00
diff --git a/core-dev/packages/coq-core/coq-core.8.20.dev/opam b/core-dev/packages/coq-core/coq-core.8.20.dev/opam
@@ -25,7 +25,7 @@ homepage: "https://coq.inria.fr/"
 doc: "https://coq.github.io/doc/"
 bug-reports: "https://github.com/coq/coq/issues"
 depends: [
-  "dune" {>= "3.6.1"}
+  "dune" {>= "3.6.1" & < "3.14"}
   "ocaml" {>= "4.09.0"}
   "ocamlfind" {>= "1.8.1"}
   "zarith" {>= "1.11"}
