(library
 (name transition_chain_verifier)
 (public_name transition_chain_verifier)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps ppx_version ppx_jane ppx_compare))
 (libraries
  ;; opam libraries
  core_kernel
  core
  ;; local libraries
  merkle_list_verifier
  mina_state
  mina_base
  mina_stdlib
  data_hash_lib))
