(library
 (public_name kimchi_bindings.pasta_fp_poseidon)
 (name kimchi_pasta_fp_poseidon)
 (libraries kimchi_bindings)
 (instrumentation
  (backend bisect_ppx))
 (inline_tests
  (flags -verbose -show-counts))
 (preprocess
  (pps ppx_version ppx_inline_test)))
