Merge pull request #320 from yasuo-ozu/fix_core_kernel_rename

fix opam
gfngfn · Apr 13, 2022 · 8d8dab5 · 8d8dab5
2 parents 934cc2a + 9dc4221
commit 8d8dab5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/satysfi.opam b/satysfi.opam
@@ -24,7 +24,7 @@ depends: [
   "batteries"
   "camlimages" {>= "5.0.1"}
   "camlpdf" {= "2.3.1+satysfi"}
-  "core_kernel" {>= "v0.13"}
+  "core_kernel" {>= "v0.13" & < "v0.15"}
   "cppo" {build & >= "1.6.4" & < "1.7.0"}
   "dune" {build}
   "menhir"