(library
 (name serlib_extra)
 (public_name coq-serapi.serlib_extra)
 (synopsis "Serialization Library for Coq (Extra / Deprecated)")
 (preprocess (staged_pps ppx_import ppx_sexp_conv ppx_hash ppx_compare ppx_deriving_yojson))
 (libraries coq-core.stm sexplib coq-serapi.serlib))

