Update versions of packages in odoc-bench

jonludlam · jonludlam · commit 1eb37f6dda7b · 2026-05-11T16:07:41.000+01:00
diff --git a/odoc-bench.opam b/odoc-bench.opam
@@ -41,8 +41,8 @@ depends: [
   "bos"
   "yojson" {>= "1.6.0"}
   "mdx" {>= "2.3.0"}
-  "core" {= "v0.16.2"}
-  "core_kernel" {= "v0.16.0"}
+  "core" {= "v0.17.2"}
+  "core_kernel" {= "v0.17.0"}
   "crunch"
   "odig"
   "base"
