(library
 (name verifier)
 (public_name verifier)
 (libraries
  ;; opam libraries
  async
  async_kernel
  async_unix
  base
  base.caml
  bin_prot.shape
  core
  core_kernel
  rpc_parallel
  sexplib0
   ;; local libraries
   backoff
   blockchain_snark
  child_processes
  error_json
  genesis_constants
  internal_tracing
  itn_logger
  kimchi_backend
  kimchi_pasta
  kimchi_pasta.basic
  ledger_proof
  logger
  logger.file_system
  mina_base
  mina_base.import
  mina_state
  o1trace
  pickles
  pickles.backend
  random_oracle
  random_oracle_input
  signature_lib
  snark_params
  snarky.backendless
  transaction_snark
  with_hash)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps
   ppx_custom_printf
   ppx_version
   ppx_compare
   ppx_hash
   ppx_mina
   ppx_version
   ppx_here
   ppx_bin_prot
   ppx_let
   ppx_deriving.std
   ppx_deriving_yojson
   ppx_sexp_conv)))
