(library
 (name prover)
 (public_name prover)
 (libraries
  ;; opam libraries
  base64
  async_unix
  rpc_parallel
  core
  async
  async_kernel
  core_kernel
  bin_prot.shape
  base.caml
  sexplib0
  ;; local libraries
  with_hash
  coda_genesis_ledger
  mina_metrics
  error_json
  pickles_types
  snarky.backendless
  snark_params
  pickles
  sgn
  currency
  child_processes
  blockchain_snark
  mina_block
  mina_state
  mina_base
  mina_compile_config
  logger
  itn_logger
  internal_tracing
  genesis_constants
  ledger_proof
  consensus
  coda_genesis_proof
  transaction_snark
  logger.file_system
  data_hash_lib
  staged_ledger_diff
  ppx_version.runtime
  mina_transaction_logic
  pickles.backend
  sgn_type
  kimchi_backend
  mina_numbers
  kimchi_pasta
  kimchi_pasta.basic
  mina_wire_types
  promise)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps ppx_mina ppx_version ppx_jane ppx_bin_prot)))
