(library
 (public_name mina_intf)
 (name mina_intf)
 (libraries
  ;; opam libraries
  async_kernel
  core
  core_kernel
  sexplib0
  ;; local libraries
  mina_net2
  staged_ledger
  consensus
  precomputed_values
  genesis_constants
  mina_block
  proof_carrying_data
  cache_lib
  mina_base
  mina_state
  pipe_lib
  network_peer
  network_pool
  logger
  trust_system
  block_time
  verifier
  mina_stdlib
  mina_ledger
  transaction_snark_work)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps ppx_jane ppx_version ppx_deriving.std ppx_deriving_yojson)))
