opam: downgrade dune for CI

artagnon · Oct 12, 2024 · 002fad9 · 002fad9
1 parent a53c131
commit 002fad9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bonak.opam b/bonak.opam
@@ -10,7 +10,7 @@ bug-reports: "https://github.com/artagnon/bonak/issues"
 dev-repo: "git+https://github.com/artagnon/bonak"
 depends: [
   "coq"  { >= "8.20.0" }
-  "dune" { >= "3.14.0" }
+  "dune" { >= "3.13.1" }
 ]
 build: [
   ["dune" "build"]