(library
 (name mina_version)
 (libraries core_kernel)
 (instrumentation
  (backend bisect_ppx))
 (preprocess
  (pps ppx_version))
 (public_name mina_version)
 (virtual_modules mina_version)
 (default_implementation mina_version.normal))
