port plonkish prelude to 5.2.1

glyh · glyh · commit 0946e5b4f606 · 2025-12-01T17:49:52.000+08:00
diff --git a/src/lib/crypto/plonkish_prelude/dune b/src/lib/crypto/plonkish_prelude/dune
@@ -16,9 +16,12 @@
  (preprocess
   (pps
    h_list.ppx
+   ppx_compare
    ppx_deriving.std
    ppx_deriving_yojson
+   ppx_hash
    ppx_mina
+   ppx_sexp_conv
    ppx_version))
  (modules_without_implementation sigs poly_types)
  (instrumentation
