bench: Fix and pin dependencies

Julow · jonludlam · commit 56e509262607 · 2023-11-16T23:11:14.000Z
The dependency on core_kernel was missing.
Pin the benchmark dependency to make them comparable.
diff --git a/odoc-bench.opam b/odoc-bench.opam
@@ -41,5 +41,6 @@ depends: [
   "bos"
   "yojson" {>= "1.6.0"}
   "mdx" {>= "2.3.0"}
-  "core"
+  "core" {= "v0.16.2"}
+  "core_kernel" {= "v0.16.0"}
 ]
