(library
 (name transition_chain_prover)
 (public_name transition_chain_prover)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps ppx_version ppx_jane))
 (libraries
  ;; opam libraries
  core
  core_kernel
  ;; local libraries
  transition_frontier_extensions
  mina_block
  mina_state
  mina_intf
  mina_base
  transition_frontier
  merkle_list_prover
  transition_frontier_base
  data_hash_lib
  with_hash
  mina_wire_types
  pickles.backend
  snark_params
  pickles
  kimchi_pasta
  kimchi_pasta.basic))
