irmin-pack: use checkseum.c

mirage · Jan 30, 2024 · 4562e70 · 4562e70
1 parent bddbbcc
commit 4562e70
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/irmin-pack/io/dune b/src/irmin-pack/io/dune
@@ -13,7 +13,7 @@
   cmdliner
   optint
   checkseum
-  checkseum.ocaml)
+  checkseum.c)
  (preprocess
   (pps ppx_irmin.internal))
  (instrumentation

diff --git a/src/irmin-pack/unix/dune b/src/irmin-pack/unix/dune
@@ -16,7 +16,7 @@
   cmdliner
   optint
   checkseum
-  checkseum.ocaml
+  checkseum.c
   rusage)
  (preprocess
   (pps ppx_irmin.internal))