Update OCaml dependencies

We need a newer core_unix.
Barkhausen-Institut · May 16, 2024 · 3ba2b36 · 3ba2b36
1 parent 30e0dfc
commit 3ba2b36
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"}