Upgrade minimum dune to 3.13 after fix of ocaml/dune#8958

coq-tactician · Apr 11, 2024 · f91c81a · f91c81a
1 parent b89cc1d
commit f91c81a
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -20,7 +20,6 @@ jobs:
               opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
               opam pin add -n -y -k path $PACKAGE $WORKDIR
               opam remove coq-stdlib -y # Make sure we can build without stdlib
-              opam pin add dune 3.7.1 -y # Until ocaml/dune#8958 is fixed
               opam update -y
               opam install -y -j 2 -t $PACKAGE --deps-only
             endGroup

diff --git a/.github/workflows/stdlib.yml b/.github/workflows/stdlib.yml
@@ -22,7 +22,6 @@ jobs:
               opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
               opam pin add -n -y -k path coq-tactician coq-tactician/
               opam remove coq-stdlib -y # Make sure we can build without stdlib
-              opam pin add dune 3.7.1 -y # Until ocaml/dune#8958 is fixed
               opam update -y
               opam install -y -j 2 coq-tactician
             endGroup

diff --git a/coq-tactician.opam b/coq-tactician.opam
@@ -18,7 +18,7 @@ homepage: "https://coq-tactician.github.io"
 bug-reports: "https://github.com/coq-tactician/coq-tactician/issues"
 depends: [
   "ocaml" {>= "4.08"}
-  "dune" {>= "3.5" & < "3.8~"}
+  "dune" {>= "3.13"}
   "dune-site" {>= "2.9.1"}
   "opam-client" {>= "2.1.0"}
   "cmdliner" {>= "1.1.0"}
@@ -64,4 +64,4 @@ tags: [
 substs: [
   "coq-shim/tactician-patch"
   "coq-shim/tactician.ml"
-]
+]