(library
 (name genesis_proof)
 (public_name coda_genesis_proof)
 (libraries
  ;; opam libraries
  base
  core_kernel
  base.md5
  core
  async
  async_kernel
  ;; local libraries
  snarky.backendless
  pickles_types
  currency
  pickles
  consensus
  mina_runtime_config
  blockchain_snark
  mina_base
  mina_state
  genesis_constants
  with_hash
  coda_genesis_ledger
  transaction_snark
  sgn
  snark_params
  mina_wire_types
  sgn_type
  pickles.backend
  mina_transaction_logic
  kimchi_backend
  mina_numbers
  block_time
  kimchi_pasta
  kimchi_pasta.basic)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps ppx_version ppx_let ppx_here)))
