Update koika.opam

Barkhausen-Institut · Oct 17, 2024 · 7d1f447 · 7d1f447
1 parent 36619cc
commit 7d1f447
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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"}