(library
 (name serlib_ssr)
 (public_name coq-serapi.serlib.ssreflect)
 (synopsis "Serialization Library for Coq [SSR plugin]")
 (preprocess
  (staged_pps
   ppx_import
   ppx_sexp_conv
   ppx_deriving_yojson
   ppx_hash
   ppx_compare))
 (libraries
  coq-core.plugins.ssreflect
  serlib
  serlib_ltac
  serlib_ssrmatching
  sexplib))
