(library
 (name random_oracle)
 (public_name random_oracle)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps
   ppx_version
   ppx_sexp_conv
   ppx_compare
   ppx_inline_test
   ppx_assert
   ppx_compare
   ppx_deriving_yojson
   ppx_let))
 (inline_tests
  (flags -verbose -show-counts))
 (libraries
  ;; opam libraries
  ppx_inline_test.config
  base
  core_kernel
  sexplib0
  ;; local libraries
  snark_params
  pickles.backend
  sponge
  pickles
  random_oracle_input
  snarky.backendless
  kimchi_pasta
  kimchi_pasta.basic
  fold_lib
  random_oracle.permutation))
