(library
 (name proof_cache_tag)
 (public_name proof_cache_tag)
 (libraries
  ;; opam libraries
  core_kernel
  async_kernel
  ;; local libraries
  logger
  disk_cache
  pickles)
 (preprocess
  (pps ppx_mina ppx_version ppx_jane))
 (instrumentation
  (backend bisect_ppx)))
