diff --git a/koika.opam b/koika.opam
index 42781a1..77d6f6e 100644
--- a/koika.opam
+++ b/koika.opam
@@ -24,7 +24,7 @@ depends: [
   ("coq" {>= "8.11"} | "coq-ltac2" {>= "0.3"})
   "base" {>= "0.12.2"}
   "core" {>= "0.12.4"}
-  "core_unix" {>= "0.12.4"}
+  "core_unix" {>= "0.14.0"}
   "dune" {build & >= "2.5"}
   "hashcons" {>= "1.3"}
   "parsexp" {>= "0.12.0"}