Merge pull request #3329 from proux01/dune-upper-bound-docker

Remove dune upper bound on 9.0+rc1 for the docker image
coq · Feb 4, 2025 · 4bd3d2e · 4bd3d2e
2 parents f4ff5cd + 1cced1d
commit 4bd3d2e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core-dev/packages/rocq-runtime/rocq-runtime.9.0+rc1/opam b/core-dev/packages/rocq-runtime/rocq-runtime.9.0+rc1/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.8" & < "3.14"}
+  "dune" {>= "3.8"}
   "ocaml" {>= "4.09.0"}
   "ocamlfind" {>= "1.8.1"}
   "zarith" {>= "1.11"}