(library
 (name ledger_proof)
 (public_name ledger_proof)
 (libraries
  ;; opam libraries
  core_kernel
  ;; local libraries
  transaction_snark
  mina_base
  mina_state
  mina_transaction_logic
  ppx_version.runtime
  proof_cache_tag
  proof_carrying_data)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps
   ppx_bin_prot
   ppx_sexp_conv
   ppx_hash
   ppx_compare
   ppx_version
   ppx_deriving_yojson)))
