Dune >= 3.8 is not supported for coq-tactician due to ocaml/dune#8958

coq · Oct 17, 2023 · dd5b6c9 · dd5b6c9
1 parent 943e182
commit dd5b6c9
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/extra-dev/packages/coq-tactician-dummy/coq-tactician-dummy.8.17.dev/opam b/extra-dev/packages/coq-tactician-dummy/coq-tactician-dummy.8.17.dev/opam
@@ -16,7 +16,7 @@ homepage: "https://coq-tactician.github.io"
 bug-reports: "https://github.com/coq-tactician/coq-tactician-dummy/issues"
 license: "MIT"
 depends: [
-  "dune" {>= "3.5"}
+  "dune" {>= "3.5" & < "3.8~"}
   "coq-core"
   "odoc" {with-doc}
 ]

diff --git a/extra-dev/packages/coq-tactician/coq-tactician.8.17.dev/opam b/extra-dev/packages/coq-tactician/coq-tactician.8.17.dev/opam
@@ -16,7 +16,7 @@ homepage: "https://coq-tactician.github.io"
 bug-reports: "https://github.com/coq-tactician/coq-tactician/issues"
 license: "MIT"
 depends: [
-  "dune" {>= "3.5"}
+  "dune" {>= "3.5" & < "3.8~"}
   "ocaml" {>= "4.08"}
   "dune-site" {>= "2.9.1"}
   "opam-client" {>= "2.1.0"}

diff --git a/extra-dev/packages/coq-tactician/coq-tactician.8.18.dev/opam b/extra-dev/packages/coq-tactician/coq-tactician.8.18.dev/opam
@@ -16,7 +16,7 @@ homepage: "https://coq-tactician.github.io"
 bug-reports: "https://github.com/coq-tactician/coq-tactician/issues"
 license: "MIT"
 depends: [
-  "dune" {>= "3.5"}
+  "dune" {>= "3.5" & < "3.8~"}
   "ocaml" {>= "4.08"}
   "dune-site" {>= "2.9.1"}
   "opam-client" {>= "2.1.0"}

diff --git a/extra-dev/packages/coq-tactician/coq-tactician.dev/opam b/extra-dev/packages/coq-tactician/coq-tactician.dev/opam
@@ -16,7 +16,7 @@ homepage: "https://coq-tactician.github.io"
 bug-reports: "https://github.com/coq-tactician/coq-tactician/issues"
 license: "MIT"
 depends: [
-  "dune" {>= "3.5"}
+  "dune" {>= "3.5" & < "3.8~"}
   "ocaml" {>= "4.08"}
   "dune-site" {>= "2.9.1"}
   "opam-client" {>= "2.1.0"}