Merge pull request ocaml#23882 from LasseBlaauwbroek/dune-coq-incompat

Mark Dune 3.8.0 as incompatible with Coq < 8.13
emillon · Jun 5, 2023 · c35e6e9 · c35e6e9
2 parents 1889257 + 8ebbff1
commit c35e6e9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/packages/dune/dune.3.8.0/opam b/packages/dune/dune.3.8.0/opam
@@ -46,6 +46,7 @@ depends: [
   "base-unix"
   "base-threads"
 ]
+conflicts: [ "coq" {< "8.13"} ]
 url {
   src: "https://github.com/ocaml/dune/releases/download/3.8.0/dune-3.8.0.tbz"
   checksum: [