(library
 (name random_oracle_permutation)
 (public_name random_oracle.permutation)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps ppx_version))
 (libraries sponge kimchi_backend kimchi_pasta kimchi_pasta.basic)
 (virtual_modules random_oracle_permutation)
 (default_implementation random_oracle.permutation.external))
