Merge pull request #2875 from artagnon/bonak

bonak: bump coq and dune versions
coq · Dec 27, 2023 · dc9dfdd · dc9dfdd
2 parents 07cb291 + c34549f
commit dc9dfdd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/extra-dev/packages/bonak/bonak.dev/opam b/extra-dev/packages/bonak/bonak.dev/opam
@@ -9,8 +9,8 @@ homepage: "https://github.com/artagnon/bonak"
 bug-reports: "https://github.com/artagnon/bonak/issues"
 dev-repo: "git+https://github.com/artagnon/bonak"
 depends: [
-  "coq"  { >= "8.16.1" }
-  "dune" { >= "3.6.0" }
+  "coq"  { >= "8.18.0" }
+  "dune" { >= "3.9.1" }
 ]
 build: [
   ["dune" "build"]