diff --git a/koika.opam b/koika.opam
index 77d6f6e0..14d922ef 100644
--- a/koika.opam
+++ b/koika.opam
@@ -21,11 +21,11 @@ build: [
   # ["dune" "build" "-p" name "@doc"] {with-doc}
 ]
 depends: [
-  ("coq" {>= "8.11"} | "coq-ltac2" {>= "0.3"})
+  ("coq" {>= "8.18"} | "coq-ltac2" {>= "0.3"})
   "base" {>= "0.12.2"}
   "core" {>= "0.12.4"}
   "core_unix" {>= "0.14.0"}
-  "dune" {build & >= "2.5"}
+  "dune" {build & >= "3.14"}
   "hashcons" {>= "1.3"}
   "parsexp" {>= "0.12.0"}
   "ppx_jane" {>= "0.9.0"}
diff --git a/koika.opam.template b/koika.opam.template
index 9241529a..067d3ecd 100644
--- a/koika.opam.template
+++ b/koika.opam.template
@@ -6,11 +6,11 @@ build: [
   # ["dune" "build" "-p" name "@doc"] {with-doc}
 ]
 depends: [
-  ("coq" {>= "8.11"} | "coq-ltac2" {>= "0.3"})
+  ("coq" {>= "8.18"} | "coq-ltac2" {>= "0.3"})
   "base" {>= "0.12.2"}
   "core" {>= "0.12.4"}
   "core_unix" {>= "0.14.0"}
-  "dune" {build & >= "2.5"}
+  "dune" {build & >= "3.14"}
   "hashcons" {>= "1.3"}
   "parsexp" {>= "0.12.0"}
   "ppx_jane" {>= "0.9.0"}