(library
 (name random_oracle_permutation_ocaml)
 (public_name random_oracle.permutation.ocaml)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps ppx_version))
 (libraries
  ;; opam libraries
  base
  core_kernel
  ;; local libraries
  sponge
  pickles
  pickles.backend
  kimchi_backend
  kimchi_pasta
  kimchi_pasta.basic)
 (implements random_oracle.permutation))
