diff --git a/examples/dune b/examples/dune
index 0bc7572d77..28f453fd47 100644
--- a/examples/dune
+++ b/examples/dune
@@ -62,5 +62,4 @@
 
 (mdx
  (files merkle_proofs.md)
- ; (preludes merkle_proofs_prelude.ml)
- (libraries irmin-cli))
+ (libraries irmin irmin-cli irmin-git.unix ppx_irmin))