(library
 (name serlib_funind)
 (public_name coq-serapi.serlib.funind)
 (synopsis "Serialization Library for Coq Fundind Plugin")
 (preprocess
  (staged_pps ppx_import ppx_sexp_conv ppx_hash ppx_compare))
 (libraries coq-core.plugins.funind serlib serlib_ltac sexplib))
