diff --git a/bonak.opam b/bonak.opam
index bd64dfa..f5c637e 100644
--- a/bonak.opam
+++ b/bonak.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.18.0" }
-  "dune" { >= "3.9.1" }
+  "coq"  { >= "8.19.1" }
+  "dune" { >= "3.14.0" }
 ]
 build: [
   ["dune" "build"]