(library
 (name mina_numbers)
 (public_name mina_numbers)
 (inline_tests
  (flags -verbose -show-counts))
 (library_flags -linkall)
 (libraries
  ;; opam libraries
  result
  base.caml
  bin_prot.shape
  bignum.bigint
  core_kernel
  integers
  sexplib0
  base
  base.base_internalhash_types
  ppx_inline_test.config
  ;; local libraries
  protocol_version
  mina_wire_types
  bignum_bigint
  pickles
  codable
  snarky.backendless
  fold_lib
  tuple_lib
  snark_bits
  snark_params
  unsigned_extended
  random_oracle
  random_oracle_input
  bitstring_lib
  test_util
  kimchi_backend_common
  ppx_version.runtime)
 (preprocess
  (pps
   ppx_version
   ppx_mina
   ppx_bin_prot
   ppx_sexp_conv
   ppx_compare
   ppx_hash
   ppx_let
   ppx_inline_test
   ppx_compare
   ppx_deriving_yojson
   ppx_assert))
 (instrumentation
  (backend bisect_ppx))
 (synopsis "Snark-friendly numbers used in Coda consensus"))
