(library
 (public_name mina_plugins)
 (name mina_plugins)
 (libraries
  ;; opam libraries
  core_kernel
  dynlink
  core
  base
  ;; local libraries
  mina_lib
  logger)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps ppx_mina ppx_version)))
