Merge branch 'georgeee/format-dune-files-compatible' into georgeee/reformat-dune-files-develop

georgeee · georgeee · commit bd840620b7d3 · 2025-03-12T15:15:38.000Z
diff --git a/src/lib/mina_base/dune b/src/lib/mina_base/dune
@@ -73,8 +73,7 @@
   hex
   snark_bits
   error_json
-  ppx_version.runtime
-  mina_compile_config)
+  ppx_version.runtime)
  (preprocess
   (pps
    ppx_annot
diff --git a/src/lib/runtime_config/dune b/src/lib/runtime_config/dune
@@ -39,9 +39,7 @@
   signature_lib
   staged_ledger
   bounded_types
-  mina_compile_config
-  mina_version
-  mina_user_error)
+  mina_compile_config)
  (instrumentation
   (backend bisect_ppx))
  (preprocess
@@ -53,6 +51,4 @@
    ppx_fields_conv
    ppx_version
    ppx_compare
-   ppx_here
-   ppx_jane
-   ppx_mina)))
+   ppx_here)))
