(library
 (name serlib)
 (public_name coq-serapi.serlib)
 (synopsis "AST utility Library for Coq")
 (preprocess
  (staged_pps
   ppx_import
   ppx_sexp_conv
   ppx_hash
   ppx_compare
   ppx_deriving_yojson))
 (libraries coq-core.vernac sexplib))
