(lang dune 3.17)
(name coq-serapi)
(sections
 (lib /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi)
 (libexec /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-serapi)
 (bin /usr/bin)
 (share_root /usr/share)
 (doc /usr/doc/coq-serapi))
(files
 (lib
  (META
   coq/coq.a
   coq/coq.cma
   coq/coq.cmi
   coq/coq.cmt
   coq/coq.cmx
   coq/coq.cmxa
   coq/coq.ml
   coq/coq__Loader.cmi
   coq/coq__Loader.cmt
   coq/coq__Loader.cmti
   coq/coq__Loader.cmx
   coq/loader.ml
   coq/loader.mli
   dune-package
   opam
   serapi_v8_14/serapi.a
   serapi_v8_14/serapi.cma
   serapi_v8_14/serapi.cmi
   serapi_v8_14/serapi.cmt
   serapi_v8_14/serapi.cmx
   serapi_v8_14/serapi.cmxa
   serapi_v8_14/serapi.ml
   serapi_v8_14/serapi__Serapi_assumptions.cmi
   serapi_v8_14/serapi__Serapi_assumptions.cmt
   serapi_v8_14/serapi__Serapi_assumptions.cmti
   serapi_v8_14/serapi__Serapi_assumptions.cmx
   serapi_v8_14/serapi__Serapi_doc.cmi
   serapi_v8_14/serapi__Serapi_doc.cmt
   serapi_v8_14/serapi__Serapi_doc.cmti
   serapi_v8_14/serapi__Serapi_doc.cmx
   serapi_v8_14/serapi__Serapi_goals.cmi
   serapi_v8_14/serapi__Serapi_goals.cmt
   serapi_v8_14/serapi__Serapi_goals.cmti
   serapi_v8_14/serapi__Serapi_goals.cmx
   serapi_v8_14/serapi__Serapi_paths.cmi
   serapi_v8_14/serapi__Serapi_paths.cmt
   serapi_v8_14/serapi__Serapi_paths.cmti
   serapi_v8_14/serapi__Serapi_paths.cmx
   serapi_v8_14/serapi__Serapi_pp.cmi
   serapi_v8_14/serapi__Serapi_pp.cmt
   serapi_v8_14/serapi__Serapi_pp.cmti
   serapi_v8_14/serapi__Serapi_pp.cmx
   serapi_v8_14/serapi__Serapi_protocol.cmi
   serapi_v8_14/serapi__Serapi_protocol.cmt
   serapi_v8_14/serapi__Serapi_protocol.cmti
   serapi_v8_14/serapi__Serapi_protocol.cmx
   serapi_v8_14/serapi_assumptions.ml
   serapi_v8_14/serapi_assumptions.mli
   serapi_v8_14/serapi_doc.ml
   serapi_v8_14/serapi_doc.mli
   serapi_v8_14/serapi_goals.ml
   serapi_v8_14/serapi_goals.mli
   serapi_v8_14/serapi_paths.ml
   serapi_v8_14/serapi_paths.mli
   serapi_v8_14/serapi_pp.ml
   serapi_v8_14/serapi_pp.mli
   serapi_v8_14/serapi_protocol.ml
   serapi_v8_14/serapi_protocol.mli
   serlib/btauto/serlib_btauto.a
   serlib/btauto/serlib_btauto.cma
   serlib/btauto/serlib_btauto.cmi
   serlib/btauto/serlib_btauto.cmt
   serlib/btauto/serlib_btauto.cmx
   serlib/btauto/serlib_btauto.cmxa
   serlib/btauto/serlib_btauto.ml
   serlib/cc/serlib_cc.a
   serlib/cc/serlib_cc.cma
   serlib/cc/serlib_cc.cmi
   serlib/cc/serlib_cc.cmt
   serlib/cc/serlib_cc.cmx
   serlib/cc/serlib_cc.cmxa
   serlib/cc/serlib_cc.ml
   serlib/extraction/ser_g_extraction.ml
   serlib/extraction/serlib_extraction.a
   serlib/extraction/serlib_extraction.cma
   serlib/extraction/serlib_extraction.cmi
   serlib/extraction/serlib_extraction.cmt
   serlib/extraction/serlib_extraction.cmx
   serlib/extraction/serlib_extraction.cmxa
   serlib/extraction/serlib_extraction.ml
   serlib/extraction/serlib_extraction__Ser_g_extraction.cmi
   serlib/extraction/serlib_extraction__Ser_g_extraction.cmt
   serlib/extraction/serlib_extraction__Ser_g_extraction.cmx
   serlib/firstorder/ser_g_ground.ml
   serlib/firstorder/serlib_firstorder.a
   serlib/firstorder/serlib_firstorder.cma
   serlib/firstorder/serlib_firstorder.cmi
   serlib/firstorder/serlib_firstorder.cmt
   serlib/firstorder/serlib_firstorder.cmx
   serlib/firstorder/serlib_firstorder.cmxa
   serlib/firstorder/serlib_firstorder.ml
   serlib/firstorder/serlib_firstorder__Ser_g_ground.cmi
   serlib/firstorder/serlib_firstorder__Ser_g_ground.cmt
   serlib/firstorder/serlib_firstorder__Ser_g_ground.cmx
   serlib/funind/ser_g_indfun.ml
   serlib/funind/serlib_funind.a
   serlib/funind/serlib_funind.cma
   serlib/funind/serlib_funind.cmi
   serlib/funind/serlib_funind.cmt
   serlib/funind/serlib_funind.cmx
   serlib/funind/serlib_funind.cmxa
   serlib/funind/serlib_funind.ml
   serlib/funind/serlib_funind__Ser_g_indfun.cmi
   serlib/funind/serlib_funind__Ser_g_indfun.cmt
   serlib/funind/serlib_funind__Ser_g_indfun.cmx
   serlib/ltac/ser_rewrite.ml
   serlib/ltac/ser_rewrite.mli
   serlib/ltac/ser_tacarg.ml
   serlib/ltac/ser_tacarg.mli
   serlib/ltac/ser_tacentries.ml
   serlib/ltac/ser_tacentries.mli
   serlib/ltac/ser_tacenv.ml
   serlib/ltac/ser_tacenv.mli
   serlib/ltac/ser_tacexpr.ml
   serlib/ltac/ser_tacexpr.mli
   serlib/ltac/serlib_ltac.a
   serlib/ltac/serlib_ltac.cma
   serlib/ltac/serlib_ltac.cmi
   serlib/ltac/serlib_ltac.cmt
   serlib/ltac/serlib_ltac.cmx
   serlib/ltac/serlib_ltac.cmxa
   serlib/ltac/serlib_ltac.ml
   serlib/ltac/serlib_ltac__Ser_rewrite.cmi
   serlib/ltac/serlib_ltac__Ser_rewrite.cmt
   serlib/ltac/serlib_ltac__Ser_rewrite.cmti
   serlib/ltac/serlib_ltac__Ser_rewrite.cmx
   serlib/ltac/serlib_ltac__Ser_tacarg.cmi
   serlib/ltac/serlib_ltac__Ser_tacarg.cmt
   serlib/ltac/serlib_ltac__Ser_tacarg.cmti
   serlib/ltac/serlib_ltac__Ser_tacarg.cmx
   serlib/ltac/serlib_ltac__Ser_tacentries.cmi
   serlib/ltac/serlib_ltac__Ser_tacentries.cmt
   serlib/ltac/serlib_ltac__Ser_tacentries.cmti
   serlib/ltac/serlib_ltac__Ser_tacentries.cmx
   serlib/ltac/serlib_ltac__Ser_tacenv.cmi
   serlib/ltac/serlib_ltac__Ser_tacenv.cmt
   serlib/ltac/serlib_ltac__Ser_tacenv.cmti
   serlib/ltac/serlib_ltac__Ser_tacenv.cmx
   serlib/ltac/serlib_ltac__Ser_tacexpr.cmi
   serlib/ltac/serlib_ltac__Ser_tacexpr.cmt
   serlib/ltac/serlib_ltac__Ser_tacexpr.cmti
   serlib/ltac/serlib_ltac__Ser_tacexpr.cmx
   serlib/ltac2/ser_g_ltac2.ml
   serlib/ltac2/ser_tac2env.ml
   serlib/ltac2/ser_tac2expr.ml
   serlib/ltac2/ser_tac2quote.ml
   serlib/ltac2/serlib_ltac2.a
   serlib/ltac2/serlib_ltac2.cma
   serlib/ltac2/serlib_ltac2.cmi
   serlib/ltac2/serlib_ltac2.cmt
   serlib/ltac2/serlib_ltac2.cmx
   serlib/ltac2/serlib_ltac2.cmxa
   serlib/ltac2/serlib_ltac2.ml
   serlib/ltac2/serlib_ltac2__Ser_g_ltac2.cmi
   serlib/ltac2/serlib_ltac2__Ser_g_ltac2.cmt
   serlib/ltac2/serlib_ltac2__Ser_g_ltac2.cmx
   serlib/ltac2/serlib_ltac2__Ser_tac2env.cmi
   serlib/ltac2/serlib_ltac2__Ser_tac2env.cmt
   serlib/ltac2/serlib_ltac2__Ser_tac2env.cmx
   serlib/ltac2/serlib_ltac2__Ser_tac2expr.cmi
   serlib/ltac2/serlib_ltac2__Ser_tac2expr.cmt
   serlib/ltac2/serlib_ltac2__Ser_tac2expr.cmx
   serlib/ltac2/serlib_ltac2__Ser_tac2quote.cmi
   serlib/ltac2/serlib_ltac2__Ser_tac2quote.cmt
   serlib/ltac2/serlib_ltac2__Ser_tac2quote.cmx
   serlib/micromega/serlib_micromega.a
   serlib/micromega/serlib_micromega.cma
   serlib/micromega/serlib_micromega.cmi
   serlib/micromega/serlib_micromega.cmt
   serlib/micromega/serlib_micromega.cmx
   serlib/micromega/serlib_micromega.cmxa
   serlib/micromega/serlib_micromega.ml
   serlib/micromega_core/serlib_micromega_core.a
   serlib/micromega_core/serlib_micromega_core.cma
   serlib/micromega_core/serlib_micromega_core.cmi
   serlib/micromega_core/serlib_micromega_core.cmt
   serlib/micromega_core/serlib_micromega_core.cmx
   serlib/micromega_core/serlib_micromega_core.cmxa
   serlib/micromega_core/serlib_micromega_core.ml
   serlib/number_string_notation/ser_g_number_syntax.ml
   serlib/number_string_notation/ser_number_string.ml
   serlib/number_string_notation/serlib_number_string_notation_plugin.a
   serlib/number_string_notation/serlib_number_string_notation_plugin.cma
   serlib/number_string_notation/serlib_number_string_notation_plugin.cmi
   serlib/number_string_notation/serlib_number_string_notation_plugin.cmt
   serlib/number_string_notation/serlib_number_string_notation_plugin.cmx
   serlib/number_string_notation/serlib_number_string_notation_plugin.cmxa
   serlib/number_string_notation/serlib_number_string_notation_plugin.ml
   serlib/number_string_notation/serlib_number_string_notation_plugin__Ser_g_number_syntax.cmi
   serlib/number_string_notation/serlib_number_string_notation_plugin__Ser_g_number_syntax.cmt
   serlib/number_string_notation/serlib_number_string_notation_plugin__Ser_g_number_syntax.cmx
   serlib/number_string_notation/serlib_number_string_notation_plugin__Ser_number_string.cmi
   serlib/number_string_notation/serlib_number_string_notation_plugin__Ser_number_string.cmt
   serlib/number_string_notation/serlib_number_string_notation_plugin__Ser_number_string.cmx
   serlib/ring/ser_g_ring.ml
   serlib/ring/serlib_ring.a
   serlib/ring/serlib_ring.cma
   serlib/ring/serlib_ring.cmi
   serlib/ring/serlib_ring.cmt
   serlib/ring/serlib_ring.cmx
   serlib/ring/serlib_ring.cmxa
   serlib/ring/serlib_ring.ml
   serlib/ring/serlib_ring__Ser_g_ring.cmi
   serlib/ring/serlib_ring__Ser_g_ring.cmt
   serlib/ring/serlib_ring__Ser_g_ring.cmx
   serlib/serType.ml
   serlib/serType.mli
   serlib/ser_attributes.ml
   serlib/ser_cAst.ml
   serlib/ser_cAst.mli
   serlib/ser_cEphemeron.ml
   serlib/ser_cMap.ml
   serlib/ser_cMap.mli
   serlib/ser_cPrimitives.ml
   serlib/ser_cSet.ml
   serlib/ser_cSet.mli
   serlib/ser_cUnix.ml
   serlib/ser_class_tactics.ml
   serlib/ser_class_tactics.mli
   serlib/ser_constr.ml
   serlib/ser_constr.mli
   serlib/ser_constr_matching.ml
   serlib/ser_constr_matching.mli
   serlib/ser_constrexpr.ml
   serlib/ser_constrexpr.mli
   serlib/ser_context.ml
   serlib/ser_context.mli
   serlib/ser_conv_oracle.ml
   serlib/ser_conv_oracle.mli
   serlib/ser_cooking.ml
   serlib/ser_cooking.mli
   serlib/ser_dAst.ml
   serlib/ser_dAst.mli
   serlib/ser_declarations.ml
   serlib/ser_declarations.mli
   serlib/ser_declaremods.ml
   serlib/ser_declaremods.mli
   serlib/ser_decls.ml
   serlib/ser_deprecation.ml
   serlib/ser_eConstr.ml
   serlib/ser_eConstr.mli
   serlib/ser_entries.ml
   serlib/ser_environ.ml
   serlib/ser_environ.mli
   serlib/ser_equality.ml
   serlib/ser_evaluable.ml
   serlib/ser_evar.ml
   serlib/ser_evar.mli
   serlib/ser_evar_kinds.ml
   serlib/ser_evar_kinds.mli
   serlib/ser_evd.ml
   serlib/ser_evd.mli
   serlib/ser_extend.ml
   serlib/ser_extend.mli
   serlib/ser_feedback.ml
   serlib/ser_feedback.mli
   serlib/ser_flags.ml
   serlib/ser_flags.mli
   serlib/ser_float64.ml
   serlib/ser_future.ml
   serlib/ser_genarg.ml
   serlib/ser_genarg.mli
   serlib/ser_genintern.ml
   serlib/ser_genintern.mli
   serlib/ser_geninterp.ml
   serlib/ser_geninterp.mli
   serlib/ser_genredexpr.ml
   serlib/ser_genredexpr.mli
   serlib/ser_glob_term.ml
   serlib/ser_glob_term.mli
   serlib/ser_globnames.ml
   serlib/ser_goal_select.ml
   serlib/ser_goptions.ml
   serlib/ser_goptions.mli
   serlib/ser_gramlib.ml
   serlib/ser_hints.ml
   serlib/ser_hints.mli
   serlib/ser_impargs.ml
   serlib/ser_impargs.mli
   serlib/ser_int.ml
   serlib/ser_int.mli
   serlib/ser_inv.ml
   serlib/ser_inv.mli
   serlib/ser_lib.ml
   serlib/ser_libnames.ml
   serlib/ser_libnames.mli
   serlib/ser_libobject.ml
   serlib/ser_loadpath.ml
   serlib/ser_loc.ml
   serlib/ser_loc.mli
   serlib/ser_locality.ml
   serlib/ser_locus.ml
   serlib/ser_locus.mli
   serlib/ser_ltac_pretype.ml
   serlib/ser_ltac_pretype.mli
   serlib/ser_mod_subst.ml
   serlib/ser_mod_subst.mli
   serlib/ser_namegen.ml
   serlib/ser_names.ml
   serlib/ser_names.mli
   serlib/ser_nametab.ml
   serlib/ser_nametab.mli
   serlib/ser_nativevalues.ml
   serlib/ser_notation.ml
   serlib/ser_notation.mli
   serlib/ser_notation_gram.ml
   serlib/ser_notation_gram.mli
   serlib/ser_notation_term.ml
   serlib/ser_notation_term.mli
   serlib/ser_notationextern.ml
   serlib/ser_notationextern.mli
   serlib/ser_numTok.ml
   serlib/ser_opaqueproof.ml
   serlib/ser_opaqueproof.mli
   serlib/ser_pattern.ml
   serlib/ser_pattern.mli
   serlib/ser_pp.ml
   serlib/ser_pp.mli
   serlib/ser_ppextend.ml
   serlib/ser_ppextend.mli
   serlib/ser_pretype_errors.ml
   serlib/ser_pretype_errors.mli
   serlib/ser_printer.ml
   serlib/ser_profile_tactic.ml
   serlib/ser_profile_tactic.mli
   serlib/ser_proof_bullet.ml
   serlib/ser_pstring.ml
   serlib/ser_range.ml
   serlib/ser_reduction.ml
   serlib/ser_reduction.mli
   serlib/ser_retroknowledge.ml
   serlib/ser_retroknowledge.mli
   serlib/ser_rtree.ml
   serlib/ser_sList.ml
   serlib/ser_safe_typing.ml
   serlib/ser_safe_typing.mli
   serlib/ser_sorts.ml
   serlib/ser_sorts.mli
   serlib/ser_stateid.ml
   serlib/ser_stateid.mli
   serlib/ser_stdarg.ml
   serlib/ser_stdarg.mli
   serlib/ser_stdlib.ml
   serlib/ser_summary.ml
   serlib/ser_tactics.ml
   serlib/ser_tactics.mli
   serlib/ser_tactypes.ml
   serlib/ser_tok.ml
   serlib/ser_tok.mli
   serlib/ser_type_errors.ml
   serlib/ser_type_errors.mli
   serlib/ser_typeclasses.ml
   serlib/ser_typeclasses.mli
   serlib/ser_uGraph.ml
   serlib/ser_uGraph.mli
   serlib/ser_uState.ml
   serlib/ser_uint63.ml
   serlib/ser_univ.ml
   serlib/ser_univ.mli
   serlib/ser_univNames.ml
   serlib/ser_universes.ml
   serlib/ser_util.ml
   serlib/ser_util.mli
   serlib/ser_uvars.ml
   serlib/ser_uvars.mli
   serlib/ser_vernacexpr.ml
   serlib/ser_vernacexpr.mli
   serlib/ser_vernacextend.ml
   serlib/ser_vmbytecodes.ml
   serlib/ser_vmemitcodes.ml
   serlib/ser_vmemitcodes.mli
   serlib/ser_vmlibrary.ml
   serlib/ser_vmlibrary.mli
   serlib/ser_vmvalues.ml
   serlib/ser_vmvalues.mli
   serlib/ser_xml_datatype.ml
   serlib/ser_xml_datatype.mli
   serlib/serlib.a
   serlib/serlib.cma
   serlib/serlib.cmi
   serlib/serlib.cmt
   serlib/serlib.cmx
   serlib/serlib.cmxa
   serlib/serlib.ml
   serlib/serlib__SerType.cmi
   serlib/serlib__SerType.cmt
   serlib/serlib__SerType.cmti
   serlib/serlib__SerType.cmx
   serlib/serlib__Ser_attributes.cmi
   serlib/serlib__Ser_attributes.cmt
   serlib/serlib__Ser_attributes.cmx
   serlib/serlib__Ser_cAst.cmi
   serlib/serlib__Ser_cAst.cmt
   serlib/serlib__Ser_cAst.cmti
   serlib/serlib__Ser_cAst.cmx
   serlib/serlib__Ser_cEphemeron.cmi
   serlib/serlib__Ser_cEphemeron.cmt
   serlib/serlib__Ser_cEphemeron.cmx
   serlib/serlib__Ser_cMap.cmi
   serlib/serlib__Ser_cMap.cmt
   serlib/serlib__Ser_cMap.cmti
   serlib/serlib__Ser_cMap.cmx
   serlib/serlib__Ser_cPrimitives.cmi
   serlib/serlib__Ser_cPrimitives.cmt
   serlib/serlib__Ser_cPrimitives.cmx
   serlib/serlib__Ser_cSet.cmi
   serlib/serlib__Ser_cSet.cmt
   serlib/serlib__Ser_cSet.cmti
   serlib/serlib__Ser_cSet.cmx
   serlib/serlib__Ser_cUnix.cmi
   serlib/serlib__Ser_cUnix.cmt
   serlib/serlib__Ser_cUnix.cmx
   serlib/serlib__Ser_class_tactics.cmi
   serlib/serlib__Ser_class_tactics.cmt
   serlib/serlib__Ser_class_tactics.cmti
   serlib/serlib__Ser_class_tactics.cmx
   serlib/serlib__Ser_constr.cmi
   serlib/serlib__Ser_constr.cmt
   serlib/serlib__Ser_constr.cmti
   serlib/serlib__Ser_constr.cmx
   serlib/serlib__Ser_constr_matching.cmi
   serlib/serlib__Ser_constr_matching.cmt
   serlib/serlib__Ser_constr_matching.cmti
   serlib/serlib__Ser_constr_matching.cmx
   serlib/serlib__Ser_constrexpr.cmi
   serlib/serlib__Ser_constrexpr.cmt
   serlib/serlib__Ser_constrexpr.cmti
   serlib/serlib__Ser_constrexpr.cmx
   serlib/serlib__Ser_context.cmi
   serlib/serlib__Ser_context.cmt
   serlib/serlib__Ser_context.cmti
   serlib/serlib__Ser_context.cmx
   serlib/serlib__Ser_conv_oracle.cmi
   serlib/serlib__Ser_conv_oracle.cmt
   serlib/serlib__Ser_conv_oracle.cmti
   serlib/serlib__Ser_conv_oracle.cmx
   serlib/serlib__Ser_cooking.cmi
   serlib/serlib__Ser_cooking.cmt
   serlib/serlib__Ser_cooking.cmti
   serlib/serlib__Ser_cooking.cmx
   serlib/serlib__Ser_dAst.cmi
   serlib/serlib__Ser_dAst.cmt
   serlib/serlib__Ser_dAst.cmti
   serlib/serlib__Ser_dAst.cmx
   serlib/serlib__Ser_declarations.cmi
   serlib/serlib__Ser_declarations.cmt
   serlib/serlib__Ser_declarations.cmti
   serlib/serlib__Ser_declarations.cmx
   serlib/serlib__Ser_declaremods.cmi
   serlib/serlib__Ser_declaremods.cmt
   serlib/serlib__Ser_declaremods.cmti
   serlib/serlib__Ser_declaremods.cmx
   serlib/serlib__Ser_decls.cmi
   serlib/serlib__Ser_decls.cmt
   serlib/serlib__Ser_decls.cmx
   serlib/serlib__Ser_deprecation.cmi
   serlib/serlib__Ser_deprecation.cmt
   serlib/serlib__Ser_deprecation.cmx
   serlib/serlib__Ser_eConstr.cmi
   serlib/serlib__Ser_eConstr.cmt
   serlib/serlib__Ser_eConstr.cmti
   serlib/serlib__Ser_eConstr.cmx
   serlib/serlib__Ser_entries.cmi
   serlib/serlib__Ser_entries.cmt
   serlib/serlib__Ser_entries.cmx
   serlib/serlib__Ser_environ.cmi
   serlib/serlib__Ser_environ.cmt
   serlib/serlib__Ser_environ.cmti
   serlib/serlib__Ser_environ.cmx
   serlib/serlib__Ser_equality.cmi
   serlib/serlib__Ser_equality.cmt
   serlib/serlib__Ser_equality.cmx
   serlib/serlib__Ser_evaluable.cmi
   serlib/serlib__Ser_evaluable.cmt
   serlib/serlib__Ser_evaluable.cmx
   serlib/serlib__Ser_evar.cmi
   serlib/serlib__Ser_evar.cmt
   serlib/serlib__Ser_evar.cmti
   serlib/serlib__Ser_evar.cmx
   serlib/serlib__Ser_evar_kinds.cmi
   serlib/serlib__Ser_evar_kinds.cmt
   serlib/serlib__Ser_evar_kinds.cmti
   serlib/serlib__Ser_evar_kinds.cmx
   serlib/serlib__Ser_evd.cmi
   serlib/serlib__Ser_evd.cmt
   serlib/serlib__Ser_evd.cmti
   serlib/serlib__Ser_evd.cmx
   serlib/serlib__Ser_extend.cmi
   serlib/serlib__Ser_extend.cmt
   serlib/serlib__Ser_extend.cmti
   serlib/serlib__Ser_extend.cmx
   serlib/serlib__Ser_feedback.cmi
   serlib/serlib__Ser_feedback.cmt
   serlib/serlib__Ser_feedback.cmti
   serlib/serlib__Ser_feedback.cmx
   serlib/serlib__Ser_flags.cmi
   serlib/serlib__Ser_flags.cmt
   serlib/serlib__Ser_flags.cmti
   serlib/serlib__Ser_flags.cmx
   serlib/serlib__Ser_float64.cmi
   serlib/serlib__Ser_float64.cmt
   serlib/serlib__Ser_float64.cmx
   serlib/serlib__Ser_future.cmi
   serlib/serlib__Ser_future.cmt
   serlib/serlib__Ser_future.cmx
   serlib/serlib__Ser_genarg.cmi
   serlib/serlib__Ser_genarg.cmt
   serlib/serlib__Ser_genarg.cmti
   serlib/serlib__Ser_genarg.cmx
   serlib/serlib__Ser_genintern.cmi
   serlib/serlib__Ser_genintern.cmt
   serlib/serlib__Ser_genintern.cmti
   serlib/serlib__Ser_genintern.cmx
   serlib/serlib__Ser_geninterp.cmi
   serlib/serlib__Ser_geninterp.cmt
   serlib/serlib__Ser_geninterp.cmti
   serlib/serlib__Ser_geninterp.cmx
   serlib/serlib__Ser_genredexpr.cmi
   serlib/serlib__Ser_genredexpr.cmt
   serlib/serlib__Ser_genredexpr.cmti
   serlib/serlib__Ser_genredexpr.cmx
   serlib/serlib__Ser_glob_term.cmi
   serlib/serlib__Ser_glob_term.cmt
   serlib/serlib__Ser_glob_term.cmti
   serlib/serlib__Ser_glob_term.cmx
   serlib/serlib__Ser_globnames.cmi
   serlib/serlib__Ser_globnames.cmt
   serlib/serlib__Ser_globnames.cmx
   serlib/serlib__Ser_goal_select.cmi
   serlib/serlib__Ser_goal_select.cmt
   serlib/serlib__Ser_goal_select.cmx
   serlib/serlib__Ser_goptions.cmi
   serlib/serlib__Ser_goptions.cmt
   serlib/serlib__Ser_goptions.cmti
   serlib/serlib__Ser_goptions.cmx
   serlib/serlib__Ser_gramlib.cmi
   serlib/serlib__Ser_gramlib.cmt
   serlib/serlib__Ser_gramlib.cmx
   serlib/serlib__Ser_hints.cmi
   serlib/serlib__Ser_hints.cmt
   serlib/serlib__Ser_hints.cmti
   serlib/serlib__Ser_hints.cmx
   serlib/serlib__Ser_impargs.cmi
   serlib/serlib__Ser_impargs.cmt
   serlib/serlib__Ser_impargs.cmti
   serlib/serlib__Ser_impargs.cmx
   serlib/serlib__Ser_int.cmi
   serlib/serlib__Ser_int.cmt
   serlib/serlib__Ser_int.cmti
   serlib/serlib__Ser_int.cmx
   serlib/serlib__Ser_inv.cmi
   serlib/serlib__Ser_inv.cmt
   serlib/serlib__Ser_inv.cmti
   serlib/serlib__Ser_inv.cmx
   serlib/serlib__Ser_lib.cmi
   serlib/serlib__Ser_lib.cmt
   serlib/serlib__Ser_lib.cmx
   serlib/serlib__Ser_libnames.cmi
   serlib/serlib__Ser_libnames.cmt
   serlib/serlib__Ser_libnames.cmti
   serlib/serlib__Ser_libnames.cmx
   serlib/serlib__Ser_libobject.cmi
   serlib/serlib__Ser_libobject.cmt
   serlib/serlib__Ser_libobject.cmx
   serlib/serlib__Ser_loadpath.cmi
   serlib/serlib__Ser_loadpath.cmt
   serlib/serlib__Ser_loadpath.cmx
   serlib/serlib__Ser_loc.cmi
   serlib/serlib__Ser_loc.cmt
   serlib/serlib__Ser_loc.cmti
   serlib/serlib__Ser_loc.cmx
   serlib/serlib__Ser_locality.cmi
   serlib/serlib__Ser_locality.cmt
   serlib/serlib__Ser_locality.cmx
   serlib/serlib__Ser_locus.cmi
   serlib/serlib__Ser_locus.cmt
   serlib/serlib__Ser_locus.cmti
   serlib/serlib__Ser_locus.cmx
   serlib/serlib__Ser_ltac_pretype.cmi
   serlib/serlib__Ser_ltac_pretype.cmt
   serlib/serlib__Ser_ltac_pretype.cmti
   serlib/serlib__Ser_ltac_pretype.cmx
   serlib/serlib__Ser_mod_subst.cmi
   serlib/serlib__Ser_mod_subst.cmt
   serlib/serlib__Ser_mod_subst.cmti
   serlib/serlib__Ser_mod_subst.cmx
   serlib/serlib__Ser_namegen.cmi
   serlib/serlib__Ser_namegen.cmt
   serlib/serlib__Ser_namegen.cmx
   serlib/serlib__Ser_names.cmi
   serlib/serlib__Ser_names.cmt
   serlib/serlib__Ser_names.cmti
   serlib/serlib__Ser_names.cmx
   serlib/serlib__Ser_nametab.cmi
   serlib/serlib__Ser_nametab.cmt
   serlib/serlib__Ser_nametab.cmti
   serlib/serlib__Ser_nametab.cmx
   serlib/serlib__Ser_nativevalues.cmi
   serlib/serlib__Ser_nativevalues.cmt
   serlib/serlib__Ser_nativevalues.cmx
   serlib/serlib__Ser_notation.cmi
   serlib/serlib__Ser_notation.cmt
   serlib/serlib__Ser_notation.cmti
   serlib/serlib__Ser_notation.cmx
   serlib/serlib__Ser_notation_gram.cmi
   serlib/serlib__Ser_notation_gram.cmt
   serlib/serlib__Ser_notation_gram.cmti
   serlib/serlib__Ser_notation_gram.cmx
   serlib/serlib__Ser_notation_term.cmi
   serlib/serlib__Ser_notation_term.cmt
   serlib/serlib__Ser_notation_term.cmti
   serlib/serlib__Ser_notation_term.cmx
   serlib/serlib__Ser_notationextern.cmi
   serlib/serlib__Ser_notationextern.cmt
   serlib/serlib__Ser_notationextern.cmti
   serlib/serlib__Ser_notationextern.cmx
   serlib/serlib__Ser_numTok.cmi
   serlib/serlib__Ser_numTok.cmt
   serlib/serlib__Ser_numTok.cmx
   serlib/serlib__Ser_opaqueproof.cmi
   serlib/serlib__Ser_opaqueproof.cmt
   serlib/serlib__Ser_opaqueproof.cmti
   serlib/serlib__Ser_opaqueproof.cmx
   serlib/serlib__Ser_pattern.cmi
   serlib/serlib__Ser_pattern.cmt
   serlib/serlib__Ser_pattern.cmti
   serlib/serlib__Ser_pattern.cmx
   serlib/serlib__Ser_pp.cmi
   serlib/serlib__Ser_pp.cmt
   serlib/serlib__Ser_pp.cmti
   serlib/serlib__Ser_pp.cmx
   serlib/serlib__Ser_ppextend.cmi
   serlib/serlib__Ser_ppextend.cmt
   serlib/serlib__Ser_ppextend.cmti
   serlib/serlib__Ser_ppextend.cmx
   serlib/serlib__Ser_pretype_errors.cmi
   serlib/serlib__Ser_pretype_errors.cmt
   serlib/serlib__Ser_pretype_errors.cmti
   serlib/serlib__Ser_pretype_errors.cmx
   serlib/serlib__Ser_printer.cmi
   serlib/serlib__Ser_printer.cmt
   serlib/serlib__Ser_printer.cmx
   serlib/serlib__Ser_profile_tactic.cmi
   serlib/serlib__Ser_profile_tactic.cmt
   serlib/serlib__Ser_profile_tactic.cmti
   serlib/serlib__Ser_profile_tactic.cmx
   serlib/serlib__Ser_proof_bullet.cmi
   serlib/serlib__Ser_proof_bullet.cmt
   serlib/serlib__Ser_proof_bullet.cmx
   serlib/serlib__Ser_pstring.cmi
   serlib/serlib__Ser_pstring.cmt
   serlib/serlib__Ser_pstring.cmx
   serlib/serlib__Ser_range.cmi
   serlib/serlib__Ser_range.cmt
   serlib/serlib__Ser_range.cmx
   serlib/serlib__Ser_reduction.cmi
   serlib/serlib__Ser_reduction.cmt
   serlib/serlib__Ser_reduction.cmti
   serlib/serlib__Ser_reduction.cmx
   serlib/serlib__Ser_retroknowledge.cmi
   serlib/serlib__Ser_retroknowledge.cmt
   serlib/serlib__Ser_retroknowledge.cmti
   serlib/serlib__Ser_retroknowledge.cmx
   serlib/serlib__Ser_rtree.cmi
   serlib/serlib__Ser_rtree.cmt
   serlib/serlib__Ser_rtree.cmx
   serlib/serlib__Ser_sList.cmi
   serlib/serlib__Ser_sList.cmt
   serlib/serlib__Ser_sList.cmx
   serlib/serlib__Ser_safe_typing.cmi
   serlib/serlib__Ser_safe_typing.cmt
   serlib/serlib__Ser_safe_typing.cmti
   serlib/serlib__Ser_safe_typing.cmx
   serlib/serlib__Ser_sorts.cmi
   serlib/serlib__Ser_sorts.cmt
   serlib/serlib__Ser_sorts.cmti
   serlib/serlib__Ser_sorts.cmx
   serlib/serlib__Ser_stateid.cmi
   serlib/serlib__Ser_stateid.cmt
   serlib/serlib__Ser_stateid.cmti
   serlib/serlib__Ser_stateid.cmx
   serlib/serlib__Ser_stdarg.cmi
   serlib/serlib__Ser_stdarg.cmt
   serlib/serlib__Ser_stdarg.cmti
   serlib/serlib__Ser_stdarg.cmx
   serlib/serlib__Ser_stdlib.cmi
   serlib/serlib__Ser_stdlib.cmt
   serlib/serlib__Ser_stdlib.cmx
   serlib/serlib__Ser_summary.cmi
   serlib/serlib__Ser_summary.cmt
   serlib/serlib__Ser_summary.cmx
   serlib/serlib__Ser_tactics.cmi
   serlib/serlib__Ser_tactics.cmt
   serlib/serlib__Ser_tactics.cmti
   serlib/serlib__Ser_tactics.cmx
   serlib/serlib__Ser_tactypes.cmi
   serlib/serlib__Ser_tactypes.cmt
   serlib/serlib__Ser_tactypes.cmx
   serlib/serlib__Ser_tok.cmi
   serlib/serlib__Ser_tok.cmt
   serlib/serlib__Ser_tok.cmti
   serlib/serlib__Ser_tok.cmx
   serlib/serlib__Ser_type_errors.cmi
   serlib/serlib__Ser_type_errors.cmt
   serlib/serlib__Ser_type_errors.cmti
   serlib/serlib__Ser_type_errors.cmx
   serlib/serlib__Ser_typeclasses.cmi
   serlib/serlib__Ser_typeclasses.cmt
   serlib/serlib__Ser_typeclasses.cmti
   serlib/serlib__Ser_typeclasses.cmx
   serlib/serlib__Ser_uGraph.cmi
   serlib/serlib__Ser_uGraph.cmt
   serlib/serlib__Ser_uGraph.cmti
   serlib/serlib__Ser_uGraph.cmx
   serlib/serlib__Ser_uState.cmi
   serlib/serlib__Ser_uState.cmt
   serlib/serlib__Ser_uState.cmx
   serlib/serlib__Ser_uint63.cmi
   serlib/serlib__Ser_uint63.cmt
   serlib/serlib__Ser_uint63.cmx
   serlib/serlib__Ser_univ.cmi
   serlib/serlib__Ser_univ.cmt
   serlib/serlib__Ser_univ.cmti
   serlib/serlib__Ser_univ.cmx
   serlib/serlib__Ser_univNames.cmi
   serlib/serlib__Ser_univNames.cmt
   serlib/serlib__Ser_univNames.cmx
   serlib/serlib__Ser_universes.cmi
   serlib/serlib__Ser_universes.cmt
   serlib/serlib__Ser_universes.cmx
   serlib/serlib__Ser_util.cmi
   serlib/serlib__Ser_util.cmt
   serlib/serlib__Ser_util.cmti
   serlib/serlib__Ser_util.cmx
   serlib/serlib__Ser_uvars.cmi
   serlib/serlib__Ser_uvars.cmt
   serlib/serlib__Ser_uvars.cmti
   serlib/serlib__Ser_uvars.cmx
   serlib/serlib__Ser_vernacexpr.cmi
   serlib/serlib__Ser_vernacexpr.cmt
   serlib/serlib__Ser_vernacexpr.cmti
   serlib/serlib__Ser_vernacexpr.cmx
   serlib/serlib__Ser_vernacextend.cmi
   serlib/serlib__Ser_vernacextend.cmt
   serlib/serlib__Ser_vernacextend.cmx
   serlib/serlib__Ser_vmbytecodes.cmi
   serlib/serlib__Ser_vmbytecodes.cmt
   serlib/serlib__Ser_vmbytecodes.cmx
   serlib/serlib__Ser_vmemitcodes.cmi
   serlib/serlib__Ser_vmemitcodes.cmt
   serlib/serlib__Ser_vmemitcodes.cmti
   serlib/serlib__Ser_vmemitcodes.cmx
   serlib/serlib__Ser_vmlibrary.cmi
   serlib/serlib__Ser_vmlibrary.cmt
   serlib/serlib__Ser_vmlibrary.cmti
   serlib/serlib__Ser_vmlibrary.cmx
   serlib/serlib__Ser_vmvalues.cmi
   serlib/serlib__Ser_vmvalues.cmt
   serlib/serlib__Ser_vmvalues.cmti
   serlib/serlib__Ser_vmvalues.cmx
   serlib/serlib__Ser_xml_datatype.cmi
   serlib/serlib__Ser_xml_datatype.cmt
   serlib/serlib__Ser_xml_datatype.cmti
   serlib/serlib__Ser_xml_datatype.cmx
   serlib/serlib__Serlib_base.cmi
   serlib/serlib__Serlib_base.cmt
   serlib/serlib__Serlib_base.cmti
   serlib/serlib__Serlib_base.cmx
   serlib/serlib__Serlib_init.cmi
   serlib/serlib__Serlib_init.cmt
   serlib/serlib__Serlib_init.cmti
   serlib/serlib__Serlib_init.cmx
   serlib/serlib_base.ml
   serlib/serlib_base.mli
   serlib/serlib_init.ml
   serlib/serlib_init.mli
   serlib/ssreflect/ser_ssrast.ml
   serlib/ssreflect/ser_ssrequality.ml
   serlib/ssreflect/ser_ssrparser.ml
   serlib/ssreflect/serlib_ssr.a
   serlib/ssreflect/serlib_ssr.cma
   serlib/ssreflect/serlib_ssr.cmi
   serlib/ssreflect/serlib_ssr.cmt
   serlib/ssreflect/serlib_ssr.cmx
   serlib/ssreflect/serlib_ssr.cmxa
   serlib/ssreflect/serlib_ssr.ml
   serlib/ssreflect/serlib_ssr__Ser_ssrast.cmi
   serlib/ssreflect/serlib_ssr__Ser_ssrast.cmt
   serlib/ssreflect/serlib_ssr__Ser_ssrast.cmx
   serlib/ssreflect/serlib_ssr__Ser_ssrequality.cmi
   serlib/ssreflect/serlib_ssr__Ser_ssrequality.cmt
   serlib/ssreflect/serlib_ssr__Ser_ssrequality.cmx
   serlib/ssreflect/serlib_ssr__Ser_ssrparser.cmi
   serlib/ssreflect/serlib_ssr__Ser_ssrparser.cmt
   serlib/ssreflect/serlib_ssr__Ser_ssrparser.cmx
   serlib/ssreflect/serlib_ssr__Wrap_ssrast.cmi
   serlib/ssreflect/serlib_ssr__Wrap_ssrast.cmt
   serlib/ssreflect/serlib_ssr__Wrap_ssrast.cmx
   serlib/ssreflect/wrap_ssrast.ml
   serlib/ssrmatching/ser_ssrmatching.ml
   serlib/ssrmatching/serlib_ssrmatching.a
   serlib/ssrmatching/serlib_ssrmatching.cma
   serlib/ssrmatching/serlib_ssrmatching.cmi
   serlib/ssrmatching/serlib_ssrmatching.cmt
   serlib/ssrmatching/serlib_ssrmatching.cmx
   serlib/ssrmatching/serlib_ssrmatching.cmxa
   serlib/ssrmatching/serlib_ssrmatching.ml
   serlib/ssrmatching/serlib_ssrmatching__Ser_ssrmatching.cmi
   serlib/ssrmatching/serlib_ssrmatching__Ser_ssrmatching.cmt
   serlib/ssrmatching/serlib_ssrmatching__Ser_ssrmatching.cmx
   serlib/tauto/serlib_tauto.a
   serlib/tauto/serlib_tauto.cma
   serlib/tauto/serlib_tauto.cmi
   serlib/tauto/serlib_tauto.cmt
   serlib/tauto/serlib_tauto.cmx
   serlib/tauto/serlib_tauto.cmxa
   serlib/tauto/serlib_tauto.ml
   serlib/zify/serlib_zify.a
   serlib/zify/serlib_zify.cma
   serlib/zify/serlib_zify.cmi
   serlib/zify/serlib_zify.cmt
   serlib/zify/serlib_zify.cmx
   serlib/zify/serlib_zify.cmxa
   serlib/zify/serlib_zify.ml
   serlib_extra/ser_coqargs.ml
   serlib_extra/ser_stm.ml
   serlib_extra/ser_stm.mli
   serlib_extra/ser_xml_datatype.ml
   serlib_extra/ser_xml_datatype.mli
   serlib_extra/serlib_extra.a
   serlib_extra/serlib_extra.cma
   serlib_extra/serlib_extra.cmi
   serlib_extra/serlib_extra.cmt
   serlib_extra/serlib_extra.cmx
   serlib_extra/serlib_extra.cmxa
   serlib_extra/serlib_extra.ml
   serlib_extra/serlib_extra__Ser_coqargs.cmi
   serlib_extra/serlib_extra__Ser_coqargs.cmt
   serlib_extra/serlib_extra__Ser_coqargs.cmx
   serlib_extra/serlib_extra__Ser_stm.cmi
   serlib_extra/serlib_extra__Ser_stm.cmt
   serlib_extra/serlib_extra__Ser_stm.cmti
   serlib_extra/serlib_extra__Ser_stm.cmx
   serlib_extra/serlib_extra__Ser_xml_datatype.cmi
   serlib_extra/serlib_extra__Ser_xml_datatype.cmt
   serlib_extra/serlib_extra__Ser_xml_datatype.cmti
   serlib_extra/serlib_extra__Ser_xml_datatype.cmx
   sertop_v8_12/comp_common.ml
   sertop_v8_12/comp_common.mli
   sertop_v8_12/js_sexp_printer.ml
   sertop_v8_12/js_sexp_printer.mli
   sertop_v8_12/ser_version.ml
   sertop_v8_12/sercomp_stats.ml
   sertop_v8_12/sercomp_stats.mli
   sertop_v8_12/sertop.a
   sertop_v8_12/sertop.cma
   sertop_v8_12/sertop.cmi
   sertop_v8_12/sertop.cmt
   sertop_v8_12/sertop.cmx
   sertop_v8_12/sertop.cmxa
   sertop_v8_12/sertop.ml
   sertop_v8_12/sertop__Comp_common.cmi
   sertop_v8_12/sertop__Comp_common.cmt
   sertop_v8_12/sertop__Comp_common.cmti
   sertop_v8_12/sertop__Comp_common.cmx
   sertop_v8_12/sertop__Js_sexp_printer.cmi
   sertop_v8_12/sertop__Js_sexp_printer.cmt
   sertop_v8_12/sertop__Js_sexp_printer.cmti
   sertop_v8_12/sertop__Js_sexp_printer.cmx
   sertop_v8_12/sertop__Ser_version.cmi
   sertop_v8_12/sertop__Ser_version.cmt
   sertop_v8_12/sertop__Ser_version.cmx
   sertop_v8_12/sertop__Sercomp_stats.cmi
   sertop_v8_12/sertop__Sercomp_stats.cmt
   sertop_v8_12/sertop__Sercomp_stats.cmti
   sertop_v8_12/sertop__Sercomp_stats.cmx
   sertop_v8_12/sertop__Sertop_arg.cmi
   sertop_v8_12/sertop__Sertop_arg.cmt
   sertop_v8_12/sertop__Sertop_arg.cmti
   sertop_v8_12/sertop__Sertop_arg.cmx
   sertop_v8_12/sertop__Sertop_init.cmi
   sertop_v8_12/sertop__Sertop_init.cmt
   sertop_v8_12/sertop__Sertop_init.cmti
   sertop_v8_12/sertop__Sertop_init.cmx
   sertop_v8_12/sertop__Sertop_ser.cmi
   sertop_v8_12/sertop__Sertop_ser.cmt
   sertop_v8_12/sertop__Sertop_ser.cmti
   sertop_v8_12/sertop__Sertop_ser.cmx
   sertop_v8_12/sertop__Sertop_sexp.cmi
   sertop_v8_12/sertop__Sertop_sexp.cmt
   sertop_v8_12/sertop__Sertop_sexp.cmti
   sertop_v8_12/sertop__Sertop_sexp.cmx
   sertop_v8_12/sertop__Sertop_util.cmi
   sertop_v8_12/sertop__Sertop_util.cmt
   sertop_v8_12/sertop__Sertop_util.cmti
   sertop_v8_12/sertop__Sertop_util.cmx
   sertop_v8_12/sertop_arg.ml
   sertop_v8_12/sertop_arg.mli
   sertop_v8_12/sertop_init.ml
   sertop_v8_12/sertop_init.mli
   sertop_v8_12/sertop_ser.ml
   sertop_v8_12/sertop_ser.mli
   sertop_v8_12/sertop_sexp.ml
   sertop_v8_12/sertop_sexp.mli
   sertop_v8_12/sertop_util.ml
   sertop_v8_12/sertop_util.mli))
 (libexec
  (coq/coq.cmxs
   serapi_v8_14/serapi.cmxs
   serlib/btauto/serlib_btauto.cmxs
   serlib/cc/serlib_cc.cmxs
   serlib/extraction/serlib_extraction.cmxs
   serlib/firstorder/serlib_firstorder.cmxs
   serlib/funind/serlib_funind.cmxs
   serlib/ltac/serlib_ltac.cmxs
   serlib/ltac2/serlib_ltac2.cmxs
   serlib/micromega/serlib_micromega.cmxs
   serlib/micromega_core/serlib_micromega_core.cmxs
   serlib/number_string_notation/serlib_number_string_notation_plugin.cmxs
   serlib/ring/serlib_ring.cmxs
   serlib/serlib.cmxs
   serlib/ssreflect/serlib_ssr.cmxs
   serlib/ssrmatching/serlib_ssrmatching.cmxs
   serlib/tauto/serlib_tauto.cmxs
   serlib/zify/serlib_zify.cmxs
   serlib_extra/serlib_extra.cmxs
   sertop_v8_12/sertop.cmxs))
 (bin (sercomp sername sertok sertop))
 (share_root (emacs/site-lisp/sertop.el))
 (doc (CHANGES.md LICENSE README.md)))
(library
 (name coq-serapi.coq)
 (kind normal)
 (archives (byte coq/coq.cma) (native coq/coq.cmxa))
 (plugins (byte coq/coq.cma) (native coq/coq.cmxs))
 (native_archives coq/coq.a)
 (requires coq-core.vernac)
 (main_module_name Coq)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name coq)
     (visibility public)
     (kind alias)
     (source (path Coq) (impl (path coq/coq.ml-gen))))
    (name Coq)
    (modules
     (module
      (obj_name coq__Loader)
      (visibility public)
      (source
       (path Loader)
       (intf (path coq/loader.mli))
       (impl (path coq/loader.ml))))))
   (wrapped true))))
(library
 (name coq-serapi.serapi_v8_14)
 (kind normal)
 (synopsis "Serialization Protocol for Coq")
 (archives (byte serapi_v8_14/serapi.cma) (native serapi_v8_14/serapi.cmxa))
 (plugins (byte serapi_v8_14/serapi.cma) (native serapi_v8_14/serapi.cmxs))
 (native_archives serapi_v8_14/serapi.a)
 (requires coq-core.stm coq-core.plugins.ltac sexplib base)
 (main_module_name Serapi)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serapi)
     (visibility public)
     (kind alias)
     (source (path Serapi) (impl (path serapi_v8_14/serapi.ml-gen))))
    (name Serapi)
    (modules
     (module
      (obj_name serapi__Serapi_assumptions)
      (visibility public)
      (source
       (path Serapi_assumptions)
       (intf (path serapi_v8_14/serapi_assumptions.mli))
       (impl (path serapi_v8_14/serapi_assumptions.ml))))
     (module
      (obj_name serapi__Serapi_doc)
      (visibility public)
      (source
       (path Serapi_doc)
       (intf (path serapi_v8_14/serapi_doc.mli))
       (impl (path serapi_v8_14/serapi_doc.ml))))
     (module
      (obj_name serapi__Serapi_goals)
      (visibility public)
      (source
       (path Serapi_goals)
       (intf (path serapi_v8_14/serapi_goals.mli))
       (impl (path serapi_v8_14/serapi_goals.ml))))
     (module
      (obj_name serapi__Serapi_paths)
      (visibility public)
      (source
       (path Serapi_paths)
       (intf (path serapi_v8_14/serapi_paths.mli))
       (impl (path serapi_v8_14/serapi_paths.ml))))
     (module
      (obj_name serapi__Serapi_pp)
      (visibility public)
      (source
       (path Serapi_pp)
       (intf (path serapi_v8_14/serapi_pp.mli))
       (impl (path serapi_v8_14/serapi_pp.ml))))
     (module
      (obj_name serapi__Serapi_protocol)
      (visibility public)
      (source
       (path Serapi_protocol)
       (intf (path serapi_v8_14/serapi_protocol.mli))
       (impl (path serapi_v8_14/serapi_protocol.ml))))))
   (wrapped true))))
(library
 (name coq-serapi.serlib)
 (kind normal)
 (synopsis "AST utility Library for Coq")
 (archives (byte serlib/serlib.cma) (native serlib/serlib.cmxa))
 (plugins (byte serlib/serlib.cma) (native serlib/serlib.cmxs))
 (native_archives serlib/serlib.a)
 (requires
  coq-core.vernac
  sexplib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Serlib)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib)
     (visibility public)
     (kind alias)
     (source (path Serlib) (impl (path serlib/serlib.ml-gen))))
    (name Serlib)
    (modules
     (module
      (obj_name serlib__SerType)
      (visibility public)
      (source
       (path SerType)
       (intf (path serlib/serType.mli))
       (impl (path serlib/serType.ml))))
     (module
      (obj_name serlib__Ser_attributes)
      (visibility public)
      (source (path Ser_attributes) (impl (path serlib/ser_attributes.ml))))
     (module
      (obj_name serlib__Ser_cAst)
      (visibility public)
      (source
       (path Ser_cAst)
       (intf (path serlib/ser_cAst.mli))
       (impl (path serlib/ser_cAst.ml))))
     (module
      (obj_name serlib__Ser_cEphemeron)
      (visibility public)
      (source (path Ser_cEphemeron) (impl (path serlib/ser_cEphemeron.ml))))
     (module
      (obj_name serlib__Ser_cMap)
      (visibility public)
      (source
       (path Ser_cMap)
       (intf (path serlib/ser_cMap.mli))
       (impl (path serlib/ser_cMap.ml))))
     (module
      (obj_name serlib__Ser_cPrimitives)
      (visibility public)
      (source (path Ser_cPrimitives) (impl (path serlib/ser_cPrimitives.ml))))
     (module
      (obj_name serlib__Ser_cSet)
      (visibility public)
      (source
       (path Ser_cSet)
       (intf (path serlib/ser_cSet.mli))
       (impl (path serlib/ser_cSet.ml))))
     (module
      (obj_name serlib__Ser_cUnix)
      (visibility public)
      (source (path Ser_cUnix) (impl (path serlib/ser_cUnix.ml))))
     (module
      (obj_name serlib__Ser_class_tactics)
      (visibility public)
      (source
       (path Ser_class_tactics)
       (intf (path serlib/ser_class_tactics.mli))
       (impl (path serlib/ser_class_tactics.ml))))
     (module
      (obj_name serlib__Ser_constr)
      (visibility public)
      (source
       (path Ser_constr)
       (intf (path serlib/ser_constr.mli))
       (impl (path serlib/ser_constr.ml))))
     (module
      (obj_name serlib__Ser_constr_matching)
      (visibility public)
      (source
       (path Ser_constr_matching)
       (intf (path serlib/ser_constr_matching.mli))
       (impl (path serlib/ser_constr_matching.ml))))
     (module
      (obj_name serlib__Ser_constrexpr)
      (visibility public)
      (source
       (path Ser_constrexpr)
       (intf (path serlib/ser_constrexpr.mli))
       (impl (path serlib/ser_constrexpr.ml))))
     (module
      (obj_name serlib__Ser_context)
      (visibility public)
      (source
       (path Ser_context)
       (intf (path serlib/ser_context.mli))
       (impl (path serlib/ser_context.ml))))
     (module
      (obj_name serlib__Ser_conv_oracle)
      (visibility public)
      (source
       (path Ser_conv_oracle)
       (intf (path serlib/ser_conv_oracle.mli))
       (impl (path serlib/ser_conv_oracle.ml))))
     (module
      (obj_name serlib__Ser_cooking)
      (visibility public)
      (source
       (path Ser_cooking)
       (intf (path serlib/ser_cooking.mli))
       (impl (path serlib/ser_cooking.ml))))
     (module
      (obj_name serlib__Ser_dAst)
      (visibility public)
      (source
       (path Ser_dAst)
       (intf (path serlib/ser_dAst.mli))
       (impl (path serlib/ser_dAst.ml))))
     (module
      (obj_name serlib__Ser_declarations)
      (visibility public)
      (source
       (path Ser_declarations)
       (intf (path serlib/ser_declarations.mli))
       (impl (path serlib/ser_declarations.ml))))
     (module
      (obj_name serlib__Ser_declaremods)
      (visibility public)
      (source
       (path Ser_declaremods)
       (intf (path serlib/ser_declaremods.mli))
       (impl (path serlib/ser_declaremods.ml))))
     (module
      (obj_name serlib__Ser_decls)
      (visibility public)
      (source (path Ser_decls) (impl (path serlib/ser_decls.ml))))
     (module
      (obj_name serlib__Ser_deprecation)
      (visibility public)
      (source (path Ser_deprecation) (impl (path serlib/ser_deprecation.ml))))
     (module
      (obj_name serlib__Ser_eConstr)
      (visibility public)
      (source
       (path Ser_eConstr)
       (intf (path serlib/ser_eConstr.mli))
       (impl (path serlib/ser_eConstr.ml))))
     (module
      (obj_name serlib__Ser_entries)
      (visibility public)
      (source (path Ser_entries) (impl (path serlib/ser_entries.ml))))
     (module
      (obj_name serlib__Ser_environ)
      (visibility public)
      (source
       (path Ser_environ)
       (intf (path serlib/ser_environ.mli))
       (impl (path serlib/ser_environ.ml))))
     (module
      (obj_name serlib__Ser_equality)
      (visibility public)
      (source (path Ser_equality) (impl (path serlib/ser_equality.ml))))
     (module
      (obj_name serlib__Ser_evaluable)
      (visibility public)
      (source (path Ser_evaluable) (impl (path serlib/ser_evaluable.ml))))
     (module
      (obj_name serlib__Ser_evar)
      (visibility public)
      (source
       (path Ser_evar)
       (intf (path serlib/ser_evar.mli))
       (impl (path serlib/ser_evar.ml))))
     (module
      (obj_name serlib__Ser_evar_kinds)
      (visibility public)
      (source
       (path Ser_evar_kinds)
       (intf (path serlib/ser_evar_kinds.mli))
       (impl (path serlib/ser_evar_kinds.ml))))
     (module
      (obj_name serlib__Ser_evd)
      (visibility public)
      (source
       (path Ser_evd)
       (intf (path serlib/ser_evd.mli))
       (impl (path serlib/ser_evd.ml))))
     (module
      (obj_name serlib__Ser_extend)
      (visibility public)
      (source
       (path Ser_extend)
       (intf (path serlib/ser_extend.mli))
       (impl (path serlib/ser_extend.ml))))
     (module
      (obj_name serlib__Ser_feedback)
      (visibility public)
      (source
       (path Ser_feedback)
       (intf (path serlib/ser_feedback.mli))
       (impl (path serlib/ser_feedback.ml))))
     (module
      (obj_name serlib__Ser_flags)
      (visibility public)
      (source
       (path Ser_flags)
       (intf (path serlib/ser_flags.mli))
       (impl (path serlib/ser_flags.ml))))
     (module
      (obj_name serlib__Ser_float64)
      (visibility public)
      (source (path Ser_float64) (impl (path serlib/ser_float64.ml))))
     (module
      (obj_name serlib__Ser_future)
      (visibility public)
      (source (path Ser_future) (impl (path serlib/ser_future.ml))))
     (module
      (obj_name serlib__Ser_genarg)
      (visibility public)
      (source
       (path Ser_genarg)
       (intf (path serlib/ser_genarg.mli))
       (impl (path serlib/ser_genarg.ml))))
     (module
      (obj_name serlib__Ser_genintern)
      (visibility public)
      (source
       (path Ser_genintern)
       (intf (path serlib/ser_genintern.mli))
       (impl (path serlib/ser_genintern.ml))))
     (module
      (obj_name serlib__Ser_geninterp)
      (visibility public)
      (source
       (path Ser_geninterp)
       (intf (path serlib/ser_geninterp.mli))
       (impl (path serlib/ser_geninterp.ml))))
     (module
      (obj_name serlib__Ser_genredexpr)
      (visibility public)
      (source
       (path Ser_genredexpr)
       (intf (path serlib/ser_genredexpr.mli))
       (impl (path serlib/ser_genredexpr.ml))))
     (module
      (obj_name serlib__Ser_glob_term)
      (visibility public)
      (source
       (path Ser_glob_term)
       (intf (path serlib/ser_glob_term.mli))
       (impl (path serlib/ser_glob_term.ml))))
     (module
      (obj_name serlib__Ser_globnames)
      (visibility public)
      (source (path Ser_globnames) (impl (path serlib/ser_globnames.ml))))
     (module
      (obj_name serlib__Ser_goal_select)
      (visibility public)
      (source (path Ser_goal_select) (impl (path serlib/ser_goal_select.ml))))
     (module
      (obj_name serlib__Ser_goptions)
      (visibility public)
      (source
       (path Ser_goptions)
       (intf (path serlib/ser_goptions.mli))
       (impl (path serlib/ser_goptions.ml))))
     (module
      (obj_name serlib__Ser_gramlib)
      (visibility public)
      (source (path Ser_gramlib) (impl (path serlib/ser_gramlib.ml))))
     (module
      (obj_name serlib__Ser_hints)
      (visibility public)
      (source
       (path Ser_hints)
       (intf (path serlib/ser_hints.mli))
       (impl (path serlib/ser_hints.ml))))
     (module
      (obj_name serlib__Ser_impargs)
      (visibility public)
      (source
       (path Ser_impargs)
       (intf (path serlib/ser_impargs.mli))
       (impl (path serlib/ser_impargs.ml))))
     (module
      (obj_name serlib__Ser_int)
      (visibility public)
      (source
       (path Ser_int)
       (intf (path serlib/ser_int.mli))
       (impl (path serlib/ser_int.ml))))
     (module
      (obj_name serlib__Ser_inv)
      (visibility public)
      (source
       (path Ser_inv)
       (intf (path serlib/ser_inv.mli))
       (impl (path serlib/ser_inv.ml))))
     (module
      (obj_name serlib__Ser_lib)
      (visibility public)
      (source (path Ser_lib) (impl (path serlib/ser_lib.ml))))
     (module
      (obj_name serlib__Ser_libnames)
      (visibility public)
      (source
       (path Ser_libnames)
       (intf (path serlib/ser_libnames.mli))
       (impl (path serlib/ser_libnames.ml))))
     (module
      (obj_name serlib__Ser_libobject)
      (visibility public)
      (source (path Ser_libobject) (impl (path serlib/ser_libobject.ml))))
     (module
      (obj_name serlib__Ser_loadpath)
      (visibility public)
      (source (path Ser_loadpath) (impl (path serlib/ser_loadpath.ml))))
     (module
      (obj_name serlib__Ser_loc)
      (visibility public)
      (source
       (path Ser_loc)
       (intf (path serlib/ser_loc.mli))
       (impl (path serlib/ser_loc.ml))))
     (module
      (obj_name serlib__Ser_locality)
      (visibility public)
      (source (path Ser_locality) (impl (path serlib/ser_locality.ml))))
     (module
      (obj_name serlib__Ser_locus)
      (visibility public)
      (source
       (path Ser_locus)
       (intf (path serlib/ser_locus.mli))
       (impl (path serlib/ser_locus.ml))))
     (module
      (obj_name serlib__Ser_ltac_pretype)
      (visibility public)
      (source
       (path Ser_ltac_pretype)
       (intf (path serlib/ser_ltac_pretype.mli))
       (impl (path serlib/ser_ltac_pretype.ml))))
     (module
      (obj_name serlib__Ser_mod_subst)
      (visibility public)
      (source
       (path Ser_mod_subst)
       (intf (path serlib/ser_mod_subst.mli))
       (impl (path serlib/ser_mod_subst.ml))))
     (module
      (obj_name serlib__Ser_namegen)
      (visibility public)
      (source (path Ser_namegen) (impl (path serlib/ser_namegen.ml))))
     (module
      (obj_name serlib__Ser_names)
      (visibility public)
      (source
       (path Ser_names)
       (intf (path serlib/ser_names.mli))
       (impl (path serlib/ser_names.ml))))
     (module
      (obj_name serlib__Ser_nametab)
      (visibility public)
      (source
       (path Ser_nametab)
       (intf (path serlib/ser_nametab.mli))
       (impl (path serlib/ser_nametab.ml))))
     (module
      (obj_name serlib__Ser_nativevalues)
      (visibility public)
      (source
       (path Ser_nativevalues)
       (impl (path serlib/ser_nativevalues.ml))))
     (module
      (obj_name serlib__Ser_notation)
      (visibility public)
      (source
       (path Ser_notation)
       (intf (path serlib/ser_notation.mli))
       (impl (path serlib/ser_notation.ml))))
     (module
      (obj_name serlib__Ser_notation_gram)
      (visibility public)
      (source
       (path Ser_notation_gram)
       (intf (path serlib/ser_notation_gram.mli))
       (impl (path serlib/ser_notation_gram.ml))))
     (module
      (obj_name serlib__Ser_notation_term)
      (visibility public)
      (source
       (path Ser_notation_term)
       (intf (path serlib/ser_notation_term.mli))
       (impl (path serlib/ser_notation_term.ml))))
     (module
      (obj_name serlib__Ser_notationextern)
      (visibility public)
      (source
       (path Ser_notationextern)
       (intf (path serlib/ser_notationextern.mli))
       (impl (path serlib/ser_notationextern.ml))))
     (module
      (obj_name serlib__Ser_numTok)
      (visibility public)
      (source (path Ser_numTok) (impl (path serlib/ser_numTok.ml))))
     (module
      (obj_name serlib__Ser_opaqueproof)
      (visibility public)
      (source
       (path Ser_opaqueproof)
       (intf (path serlib/ser_opaqueproof.mli))
       (impl (path serlib/ser_opaqueproof.ml))))
     (module
      (obj_name serlib__Ser_pattern)
      (visibility public)
      (source
       (path Ser_pattern)
       (intf (path serlib/ser_pattern.mli))
       (impl (path serlib/ser_pattern.ml))))
     (module
      (obj_name serlib__Ser_pp)
      (visibility public)
      (source
       (path Ser_pp)
       (intf (path serlib/ser_pp.mli))
       (impl (path serlib/ser_pp.ml))))
     (module
      (obj_name serlib__Ser_ppextend)
      (visibility public)
      (source
       (path Ser_ppextend)
       (intf (path serlib/ser_ppextend.mli))
       (impl (path serlib/ser_ppextend.ml))))
     (module
      (obj_name serlib__Ser_pretype_errors)
      (visibility public)
      (source
       (path Ser_pretype_errors)
       (intf (path serlib/ser_pretype_errors.mli))
       (impl (path serlib/ser_pretype_errors.ml))))
     (module
      (obj_name serlib__Ser_printer)
      (visibility public)
      (source (path Ser_printer) (impl (path serlib/ser_printer.ml))))
     (module
      (obj_name serlib__Ser_profile_tactic)
      (visibility public)
      (source
       (path Ser_profile_tactic)
       (intf (path serlib/ser_profile_tactic.mli))
       (impl (path serlib/ser_profile_tactic.ml))))
     (module
      (obj_name serlib__Ser_proof_bullet)
      (visibility public)
      (source
       (path Ser_proof_bullet)
       (impl (path serlib/ser_proof_bullet.ml))))
     (module
      (obj_name serlib__Ser_pstring)
      (visibility public)
      (source (path Ser_pstring) (impl (path serlib/ser_pstring.ml))))
     (module
      (obj_name serlib__Ser_range)
      (visibility public)
      (source (path Ser_range) (impl (path serlib/ser_range.ml))))
     (module
      (obj_name serlib__Ser_reduction)
      (visibility public)
      (source
       (path Ser_reduction)
       (intf (path serlib/ser_reduction.mli))
       (impl (path serlib/ser_reduction.ml))))
     (module
      (obj_name serlib__Ser_retroknowledge)
      (visibility public)
      (source
       (path Ser_retroknowledge)
       (intf (path serlib/ser_retroknowledge.mli))
       (impl (path serlib/ser_retroknowledge.ml))))
     (module
      (obj_name serlib__Ser_rtree)
      (visibility public)
      (source (path Ser_rtree) (impl (path serlib/ser_rtree.ml))))
     (module
      (obj_name serlib__Ser_sList)
      (visibility public)
      (source (path Ser_sList) (impl (path serlib/ser_sList.ml))))
     (module
      (obj_name serlib__Ser_safe_typing)
      (visibility public)
      (source
       (path Ser_safe_typing)
       (intf (path serlib/ser_safe_typing.mli))
       (impl (path serlib/ser_safe_typing.ml))))
     (module
      (obj_name serlib__Ser_sorts)
      (visibility public)
      (source
       (path Ser_sorts)
       (intf (path serlib/ser_sorts.mli))
       (impl (path serlib/ser_sorts.ml))))
     (module
      (obj_name serlib__Ser_stateid)
      (visibility public)
      (source
       (path Ser_stateid)
       (intf (path serlib/ser_stateid.mli))
       (impl (path serlib/ser_stateid.ml))))
     (module
      (obj_name serlib__Ser_stdarg)
      (visibility public)
      (source
       (path Ser_stdarg)
       (intf (path serlib/ser_stdarg.mli))
       (impl (path serlib/ser_stdarg.ml))))
     (module
      (obj_name serlib__Ser_stdlib)
      (visibility public)
      (source (path Ser_stdlib) (impl (path serlib/ser_stdlib.ml))))
     (module
      (obj_name serlib__Ser_summary)
      (visibility public)
      (source (path Ser_summary) (impl (path serlib/ser_summary.ml))))
     (module
      (obj_name serlib__Ser_tactics)
      (visibility public)
      (source
       (path Ser_tactics)
       (intf (path serlib/ser_tactics.mli))
       (impl (path serlib/ser_tactics.ml))))
     (module
      (obj_name serlib__Ser_tactypes)
      (visibility public)
      (source (path Ser_tactypes) (impl (path serlib/ser_tactypes.ml))))
     (module
      (obj_name serlib__Ser_tok)
      (visibility public)
      (source
       (path Ser_tok)
       (intf (path serlib/ser_tok.mli))
       (impl (path serlib/ser_tok.ml))))
     (module
      (obj_name serlib__Ser_type_errors)
      (visibility public)
      (source
       (path Ser_type_errors)
       (intf (path serlib/ser_type_errors.mli))
       (impl (path serlib/ser_type_errors.ml))))
     (module
      (obj_name serlib__Ser_typeclasses)
      (visibility public)
      (source
       (path Ser_typeclasses)
       (intf (path serlib/ser_typeclasses.mli))
       (impl (path serlib/ser_typeclasses.ml))))
     (module
      (obj_name serlib__Ser_uGraph)
      (visibility public)
      (source
       (path Ser_uGraph)
       (intf (path serlib/ser_uGraph.mli))
       (impl (path serlib/ser_uGraph.ml))))
     (module
      (obj_name serlib__Ser_uState)
      (visibility public)
      (source (path Ser_uState) (impl (path serlib/ser_uState.ml))))
     (module
      (obj_name serlib__Ser_uint63)
      (visibility public)
      (source (path Ser_uint63) (impl (path serlib/ser_uint63.ml))))
     (module
      (obj_name serlib__Ser_univ)
      (visibility public)
      (source
       (path Ser_univ)
       (intf (path serlib/ser_univ.mli))
       (impl (path serlib/ser_univ.ml))))
     (module
      (obj_name serlib__Ser_univNames)
      (visibility public)
      (source (path Ser_univNames) (impl (path serlib/ser_univNames.ml))))
     (module
      (obj_name serlib__Ser_universes)
      (visibility public)
      (source (path Ser_universes) (impl (path serlib/ser_universes.ml))))
     (module
      (obj_name serlib__Ser_util)
      (visibility public)
      (source
       (path Ser_util)
       (intf (path serlib/ser_util.mli))
       (impl (path serlib/ser_util.ml))))
     (module
      (obj_name serlib__Ser_uvars)
      (visibility public)
      (source
       (path Ser_uvars)
       (intf (path serlib/ser_uvars.mli))
       (impl (path serlib/ser_uvars.ml))))
     (module
      (obj_name serlib__Ser_vernacexpr)
      (visibility public)
      (source
       (path Ser_vernacexpr)
       (intf (path serlib/ser_vernacexpr.mli))
       (impl (path serlib/ser_vernacexpr.ml))))
     (module
      (obj_name serlib__Ser_vernacextend)
      (visibility public)
      (source
       (path Ser_vernacextend)
       (impl (path serlib/ser_vernacextend.ml))))
     (module
      (obj_name serlib__Ser_vmbytecodes)
      (visibility public)
      (source (path Ser_vmbytecodes) (impl (path serlib/ser_vmbytecodes.ml))))
     (module
      (obj_name serlib__Ser_vmemitcodes)
      (visibility public)
      (source
       (path Ser_vmemitcodes)
       (intf (path serlib/ser_vmemitcodes.mli))
       (impl (path serlib/ser_vmemitcodes.ml))))
     (module
      (obj_name serlib__Ser_vmlibrary)
      (visibility public)
      (source
       (path Ser_vmlibrary)
       (intf (path serlib/ser_vmlibrary.mli))
       (impl (path serlib/ser_vmlibrary.ml))))
     (module
      (obj_name serlib__Ser_vmvalues)
      (visibility public)
      (source
       (path Ser_vmvalues)
       (intf (path serlib/ser_vmvalues.mli))
       (impl (path serlib/ser_vmvalues.ml))))
     (module
      (obj_name serlib__Ser_xml_datatype)
      (visibility public)
      (source
       (path Ser_xml_datatype)
       (intf (path serlib/ser_xml_datatype.mli))
       (impl (path serlib/ser_xml_datatype.ml))))
     (module
      (obj_name serlib__Serlib_base)
      (visibility public)
      (source
       (path Serlib_base)
       (intf (path serlib/serlib_base.mli))
       (impl (path serlib/serlib_base.ml))))
     (module
      (obj_name serlib__Serlib_init)
      (visibility public)
      (source
       (path Serlib_init)
       (intf (path serlib/serlib_init.mli))
       (impl (path serlib/serlib_init.ml))))))
   (wrapped true))))
(library
 (name coq-serapi.serlib.btauto)
 (kind normal)
 (synopsis "Serialization Library for Coq BTauto Plugin")
 (archives
  (byte serlib/btauto/serlib_btauto.cma)
  (native serlib/btauto/serlib_btauto.cmxa))
 (plugins
  (byte serlib/btauto/serlib_btauto.cma)
  (native serlib/btauto/serlib_btauto.cmxs))
 (native_archives serlib/btauto/serlib_btauto.a)
 (requires
  coq-core.plugins.btauto
  coq-serapi.serlib
  sexplib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Serlib_btauto)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib_btauto)
     (visibility public)
     (kind alias)
     (source
      (path Serlib_btauto)
      (impl (path serlib/btauto/serlib_btauto.ml-gen))))
    (name Serlib_btauto))
   (wrapped true))))
(library
 (name coq-serapi.serlib.cc)
 (kind normal)
 (synopsis "Serialization Library for Coq Congruence Plugin")
 (archives (byte serlib/cc/serlib_cc.cma) (native serlib/cc/serlib_cc.cmxa))
 (plugins (byte serlib/cc/serlib_cc.cma) (native serlib/cc/serlib_cc.cmxs))
 (native_archives serlib/cc/serlib_cc.a)
 (requires
  coq-core.plugins.cc
  coq-serapi.serlib
  sexplib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Serlib_cc)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib_cc)
     (visibility public)
     (kind alias)
     (source (path Serlib_cc) (impl (path serlib/cc/serlib_cc.ml-gen))))
    (name Serlib_cc))
   (wrapped true))))
(library
 (name coq-serapi.serlib.extraction)
 (kind normal)
 (synopsis "Serialization Library for Coq Fundind Plugin")
 (archives
  (byte serlib/extraction/serlib_extraction.cma)
  (native serlib/extraction/serlib_extraction.cmxa))
 (plugins
  (byte serlib/extraction/serlib_extraction.cma)
  (native serlib/extraction/serlib_extraction.cmxs))
 (native_archives serlib/extraction/serlib_extraction.a)
 (requires
  coq-core.plugins.extraction
  coq-serapi.serlib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Serlib_extraction)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib_extraction)
     (visibility public)
     (kind alias)
     (source
      (path Serlib_extraction)
      (impl (path serlib/extraction/serlib_extraction.ml-gen))))
    (name Serlib_extraction)
    (modules
     (module
      (obj_name serlib_extraction__Ser_g_extraction)
      (visibility public)
      (source
       (path Ser_g_extraction)
       (impl (path serlib/extraction/ser_g_extraction.ml))))))
   (wrapped true))))
(library
 (name coq-serapi.serlib.firstorder)
 (kind normal)
 (synopsis "Serialization Library for Coq Firstorder Plugin")
 (archives
  (byte serlib/firstorder/serlib_firstorder.cma)
  (native serlib/firstorder/serlib_firstorder.cmxa))
 (plugins
  (byte serlib/firstorder/serlib_firstorder.cma)
  (native serlib/firstorder/serlib_firstorder.cmxs))
 (native_archives serlib/firstorder/serlib_firstorder.a)
 (requires
  coq-core.plugins.firstorder
  coq-serapi.serlib
  sexplib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib)
 (main_module_name Serlib_firstorder)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib_firstorder)
     (visibility public)
     (kind alias)
     (source
      (path Serlib_firstorder)
      (impl (path serlib/firstorder/serlib_firstorder.ml-gen))))
    (name Serlib_firstorder)
    (modules
     (module
      (obj_name serlib_firstorder__Ser_g_ground)
      (visibility public)
      (source
       (path Ser_g_ground)
       (impl (path serlib/firstorder/ser_g_ground.ml))))))
   (wrapped true))))
(library
 (name coq-serapi.serlib.funind)
 (kind normal)
 (synopsis "Serialization Library for Coq Fundind Plugin")
 (archives
  (byte serlib/funind/serlib_funind.cma)
  (native serlib/funind/serlib_funind.cmxa))
 (plugins
  (byte serlib/funind/serlib_funind.cma)
  (native serlib/funind/serlib_funind.cmxs))
 (native_archives serlib/funind/serlib_funind.a)
 (requires
  coq-core.plugins.funind
  coq-serapi.serlib
  coq-serapi.serlib.ltac
  sexplib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib)
 (main_module_name Serlib_funind)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib_funind)
     (visibility public)
     (kind alias)
     (source
      (path Serlib_funind)
      (impl (path serlib/funind/serlib_funind.ml-gen))))
    (name Serlib_funind)
    (modules
     (module
      (obj_name serlib_funind__Ser_g_indfun)
      (visibility public)
      (source (path Ser_g_indfun) (impl (path serlib/funind/ser_g_indfun.ml))))))
   (wrapped true))))
(library
 (name coq-serapi.serlib.ltac)
 (kind normal)
 (synopsis "Serialization Library for Coq [LTAC plugin]")
 (archives
  (byte serlib/ltac/serlib_ltac.cma)
  (native serlib/ltac/serlib_ltac.cmxa))
 (plugins
  (byte serlib/ltac/serlib_ltac.cma)
  (native serlib/ltac/serlib_ltac.cmxs))
 (native_archives serlib/ltac/serlib_ltac.a)
 (requires
  coq-core.plugins.ltac
  coq-serapi.serlib
  sexplib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Serlib_ltac)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib_ltac)
     (visibility public)
     (kind alias)
     (source (path Serlib_ltac) (impl (path serlib/ltac/serlib_ltac.ml-gen))))
    (name Serlib_ltac)
    (modules
     (module
      (obj_name serlib_ltac__Ser_rewrite)
      (visibility public)
      (source
       (path Ser_rewrite)
       (intf (path serlib/ltac/ser_rewrite.mli))
       (impl (path serlib/ltac/ser_rewrite.ml))))
     (module
      (obj_name serlib_ltac__Ser_tacarg)
      (visibility public)
      (source
       (path Ser_tacarg)
       (intf (path serlib/ltac/ser_tacarg.mli))
       (impl (path serlib/ltac/ser_tacarg.ml))))
     (module
      (obj_name serlib_ltac__Ser_tacentries)
      (visibility public)
      (source
       (path Ser_tacentries)
       (intf (path serlib/ltac/ser_tacentries.mli))
       (impl (path serlib/ltac/ser_tacentries.ml))))
     (module
      (obj_name serlib_ltac__Ser_tacenv)
      (visibility public)
      (source
       (path Ser_tacenv)
       (intf (path serlib/ltac/ser_tacenv.mli))
       (impl (path serlib/ltac/ser_tacenv.ml))))
     (module
      (obj_name serlib_ltac__Ser_tacexpr)
      (visibility public)
      (source
       (path Ser_tacexpr)
       (intf (path serlib/ltac/ser_tacexpr.mli))
       (impl (path serlib/ltac/ser_tacexpr.ml))))))
   (wrapped true))))
(library
 (name coq-serapi.serlib.ltac2)
 (kind normal)
 (synopsis "Serialization Library for Coq [LTAC2 plugin]")
 (archives
  (byte serlib/ltac2/serlib_ltac2.cma)
  (native serlib/ltac2/serlib_ltac2.cmxa))
 (plugins
  (byte serlib/ltac2/serlib_ltac2.cma)
  (native serlib/ltac2/serlib_ltac2.cmxs))
 (native_archives serlib/ltac2/serlib_ltac2.a)
 (requires
  coq-core.plugins.ltac2
  coq-serapi.serlib
  sexplib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Serlib_ltac2)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib_ltac2)
     (visibility public)
     (kind alias)
     (source
      (path Serlib_ltac2)
      (impl (path serlib/ltac2/serlib_ltac2.ml-gen))))
    (name Serlib_ltac2)
    (modules
     (module
      (obj_name serlib_ltac2__Ser_g_ltac2)
      (visibility public)
      (source (path Ser_g_ltac2) (impl (path serlib/ltac2/ser_g_ltac2.ml))))
     (module
      (obj_name serlib_ltac2__Ser_tac2env)
      (visibility public)
      (source (path Ser_tac2env) (impl (path serlib/ltac2/ser_tac2env.ml))))
     (module
      (obj_name serlib_ltac2__Ser_tac2expr)
      (visibility public)
      (source (path Ser_tac2expr) (impl (path serlib/ltac2/ser_tac2expr.ml))))
     (module
      (obj_name serlib_ltac2__Ser_tac2quote)
      (visibility public)
      (source
       (path Ser_tac2quote)
       (impl (path serlib/ltac2/ser_tac2quote.ml))))))
   (wrapped true))))
(library
 (name coq-serapi.serlib.micromega)
 (kind normal)
 (synopsis "Serialization Library for Coq Congruence Plugin")
 (archives
  (byte serlib/micromega/serlib_micromega.cma)
  (native serlib/micromega/serlib_micromega.cmxa))
 (plugins
  (byte serlib/micromega/serlib_micromega.cma)
  (native serlib/micromega/serlib_micromega.cmxs))
 (native_archives serlib/micromega/serlib_micromega.a)
 (requires
  coq-core.plugins.micromega
  coq-serapi.serlib
  sexplib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Serlib_micromega)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib_micromega)
     (visibility public)
     (kind alias)
     (source
      (path Serlib_micromega)
      (impl (path serlib/micromega/serlib_micromega.ml-gen))))
    (name Serlib_micromega))
   (wrapped true))))
(library
 (name coq-serapi.serlib.micromega_core)
 (kind normal)
 (synopsis "Serialization Library for Coq Micromega_core Plugin")
 (archives
  (byte serlib/micromega_core/serlib_micromega_core.cma)
  (native serlib/micromega_core/serlib_micromega_core.cmxa))
 (plugins
  (byte serlib/micromega_core/serlib_micromega_core.cma)
  (native serlib/micromega_core/serlib_micromega_core.cmxs))
 (native_archives serlib/micromega_core/serlib_micromega_core.a)
 (requires
  coq-core.plugins.micromega_core
  coq-serapi.serlib
  sexplib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Serlib_micromega_core)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib_micromega_core)
     (visibility public)
     (kind alias)
     (source
      (path Serlib_micromega_core)
      (impl (path serlib/micromega_core/serlib_micromega_core.ml-gen))))
    (name Serlib_micromega_core))
   (wrapped true))))
(library
 (name coq-serapi.serlib.number_string_notation)
 (kind normal)
 (synopsis "Serialization Library for Coq Number and String Syntax Plugin")
 (archives
  (byte
   serlib/number_string_notation/serlib_number_string_notation_plugin.cma)
  (native
   serlib/number_string_notation/serlib_number_string_notation_plugin.cmxa))
 (plugins
  (byte
   serlib/number_string_notation/serlib_number_string_notation_plugin.cma)
  (native
   serlib/number_string_notation/serlib_number_string_notation_plugin.cmxs))
 (native_archives
  serlib/number_string_notation/serlib_number_string_notation_plugin.a)
 (requires
  coq-core.plugins.number_string_notation
  coq-serapi.serlib
  sexplib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Serlib_number_string_notation_plugin)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib_number_string_notation_plugin)
     (visibility public)
     (kind alias)
     (source
      (path Serlib_number_string_notation_plugin)
      (impl
       (path
        serlib/number_string_notation/serlib_number_string_notation_plugin.ml-gen))))
    (name Serlib_number_string_notation_plugin)
    (modules
     (module
      (obj_name serlib_number_string_notation_plugin__Ser_g_number_syntax)
      (visibility public)
      (source
       (path Ser_g_number_syntax)
       (impl (path serlib/number_string_notation/ser_g_number_syntax.ml))))
     (module
      (obj_name serlib_number_string_notation_plugin__Ser_number_string)
      (visibility public)
      (source
       (path Ser_number_string)
       (impl (path serlib/number_string_notation/ser_number_string.ml))))))
   (wrapped true))))
(library
 (name coq-serapi.serlib.ring)
 (kind normal)
 (synopsis "Serialization Library for Coq Setoid Newring Plugin")
 (archives
  (byte serlib/ring/serlib_ring.cma)
  (native serlib/ring/serlib_ring.cmxa))
 (plugins
  (byte serlib/ring/serlib_ring.cma)
  (native serlib/ring/serlib_ring.cmxs))
 (native_archives serlib/ring/serlib_ring.a)
 (requires
  coq-core.plugins.ring
  coq-serapi.serlib
  coq-serapi.serlib.ltac
  sexplib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib)
 (main_module_name Serlib_ring)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib_ring)
     (visibility public)
     (kind alias)
     (source (path Serlib_ring) (impl (path serlib/ring/serlib_ring.ml-gen))))
    (name Serlib_ring)
    (modules
     (module
      (obj_name serlib_ring__Ser_g_ring)
      (visibility public)
      (source (path Ser_g_ring) (impl (path serlib/ring/ser_g_ring.ml))))))
   (wrapped true))))
(library
 (name coq-serapi.serlib.ssreflect)
 (kind normal)
 (synopsis "Serialization Library for Coq [SSR plugin]")
 (archives
  (byte serlib/ssreflect/serlib_ssr.cma)
  (native serlib/ssreflect/serlib_ssr.cmxa))
 (plugins
  (byte serlib/ssreflect/serlib_ssr.cma)
  (native serlib/ssreflect/serlib_ssr.cmxs))
 (native_archives serlib/ssreflect/serlib_ssr.a)
 (requires
  coq-core.plugins.ssreflect
  coq-serapi.serlib
  coq-serapi.serlib.ltac
  coq-serapi.serlib.ssrmatching
  sexplib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Serlib_ssr)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib_ssr)
     (visibility public)
     (kind alias)
     (source
      (path Serlib_ssr)
      (impl (path serlib/ssreflect/serlib_ssr.ml-gen))))
    (name Serlib_ssr)
    (modules
     (module
      (obj_name serlib_ssr__Ser_ssrast)
      (visibility public)
      (source (path Ser_ssrast) (impl (path serlib/ssreflect/ser_ssrast.ml))))
     (module
      (obj_name serlib_ssr__Ser_ssrequality)
      (visibility public)
      (source
       (path Ser_ssrequality)
       (impl (path serlib/ssreflect/ser_ssrequality.ml))))
     (module
      (obj_name serlib_ssr__Ser_ssrparser)
      (visibility public)
      (source
       (path Ser_ssrparser)
       (impl (path serlib/ssreflect/ser_ssrparser.ml))))
     (module
      (obj_name serlib_ssr__Wrap_ssrast)
      (visibility public)
      (source
       (path Wrap_ssrast)
       (impl (path serlib/ssreflect/wrap_ssrast.ml))))))
   (wrapped true))))
(library
 (name coq-serapi.serlib.ssrmatching)
 (kind normal)
 (synopsis "Serialization Library for Coq [SSR Matching plugin]")
 (archives
  (byte serlib/ssrmatching/serlib_ssrmatching.cma)
  (native serlib/ssrmatching/serlib_ssrmatching.cmxa))
 (plugins
  (byte serlib/ssrmatching/serlib_ssrmatching.cma)
  (native serlib/ssrmatching/serlib_ssrmatching.cmxs))
 (native_archives serlib/ssrmatching/serlib_ssrmatching.a)
 (requires
  coq-core.plugins.ssrmatching
  coq-serapi.serlib
  coq-serapi.serlib.ltac
  sexplib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Serlib_ssrmatching)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib_ssrmatching)
     (visibility public)
     (kind alias)
     (source
      (path Serlib_ssrmatching)
      (impl (path serlib/ssrmatching/serlib_ssrmatching.ml-gen))))
    (name Serlib_ssrmatching)
    (modules
     (module
      (obj_name serlib_ssrmatching__Ser_ssrmatching)
      (visibility public)
      (source
       (path Ser_ssrmatching)
       (impl (path serlib/ssrmatching/ser_ssrmatching.ml))))))
   (wrapped true))))
(library
 (name coq-serapi.serlib.tauto)
 (kind normal)
 (synopsis "Serialization Library for Coq Tauto Plugin")
 (archives
  (byte serlib/tauto/serlib_tauto.cma)
  (native serlib/tauto/serlib_tauto.cmxa))
 (plugins
  (byte serlib/tauto/serlib_tauto.cma)
  (native serlib/tauto/serlib_tauto.cmxs))
 (native_archives serlib/tauto/serlib_tauto.a)
 (requires
  coq-core.plugins.tauto
  coq-serapi.serlib
  sexplib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Serlib_tauto)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib_tauto)
     (visibility public)
     (kind alias)
     (source
      (path Serlib_tauto)
      (impl (path serlib/tauto/serlib_tauto.ml-gen))))
    (name Serlib_tauto))
   (wrapped true))))
(library
 (name coq-serapi.serlib.zify)
 (kind normal)
 (synopsis "Serialization Library for Coq Congruence Plugin")
 (archives
  (byte serlib/zify/serlib_zify.cma)
  (native serlib/zify/serlib_zify.cmxa))
 (plugins
  (byte serlib/zify/serlib_zify.cma)
  (native serlib/zify/serlib_zify.cmxs))
 (native_archives serlib/zify/serlib_zify.a)
 (requires
  coq-core.plugins.zify
  coq-serapi.serlib
  sexplib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Serlib_zify)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib_zify)
     (visibility public)
     (kind alias)
     (source (path Serlib_zify) (impl (path serlib/zify/serlib_zify.ml-gen))))
    (name Serlib_zify))
   (wrapped true))))
(library
 (name coq-serapi.serlib_extra)
 (kind normal)
 (synopsis "Serialization Library for Coq (Extra / Deprecated)")
 (archives
  (byte serlib_extra/serlib_extra.cma)
  (native serlib_extra/serlib_extra.cmxa))
 (plugins
  (byte serlib_extra/serlib_extra.cma)
  (native serlib_extra/serlib_extra.cmxs))
 (native_archives serlib_extra/serlib_extra.a)
 (requires
  coq-core.stm
  sexplib
  coq-serapi.serlib
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_hash.runtime-lib
  ppx_deriving.runtime
  ppx_deriving_yojson.runtime
  yojson)
 (main_module_name Serlib_extra)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name serlib_extra)
     (visibility public)
     (kind alias)
     (source
      (path Serlib_extra)
      (impl (path serlib_extra/serlib_extra.ml-gen))))
    (name Serlib_extra)
    (modules
     (module
      (obj_name serlib_extra__Ser_coqargs)
      (visibility public)
      (source (path Ser_coqargs) (impl (path serlib_extra/ser_coqargs.ml))))
     (module
      (obj_name serlib_extra__Ser_stm)
      (visibility public)
      (source
       (path Ser_stm)
       (intf (path serlib_extra/ser_stm.mli))
       (impl (path serlib_extra/ser_stm.ml))))
     (module
      (obj_name serlib_extra__Ser_xml_datatype)
      (visibility public)
      (source
       (path Ser_xml_datatype)
       (intf (path serlib_extra/ser_xml_datatype.mli))
       (impl (path serlib_extra/ser_xml_datatype.ml))))))
   (wrapped true))))
(library
 (name coq-serapi.sertop_v8_12)
 (kind normal)
 (archives (byte sertop_v8_12/sertop.cma) (native sertop_v8_12/sertop.cmxa))
 (plugins (byte sertop_v8_12/sertop.cma) (native sertop_v8_12/sertop.cmxs))
 (native_archives sertop_v8_12/sertop.a)
 (requires
  findlib.dynload
  cmdliner
  coq-serapi.serapi_v8_14
  coq-serapi.serlib
  coq-serapi.serlib.ltac
  coq-serapi.coq
  coq-serapi.serlib_extra
  ppx_sexp_conv.runtime-lib
  sexplib0)
 (main_module_name Sertop)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name sertop)
     (visibility public)
     (kind alias)
     (source (path Sertop) (impl (path sertop_v8_12/sertop.ml-gen))))
    (name Sertop)
    (modules
     (module
      (obj_name sertop__Comp_common)
      (visibility public)
      (source
       (path Comp_common)
       (intf (path sertop_v8_12/comp_common.mli))
       (impl (path sertop_v8_12/comp_common.ml))))
     (module
      (obj_name sertop__Js_sexp_printer)
      (visibility public)
      (source
       (path Js_sexp_printer)
       (intf (path sertop_v8_12/js_sexp_printer.mli))
       (impl (path sertop_v8_12/js_sexp_printer.ml))))
     (module
      (obj_name sertop__Ser_version)
      (visibility public)
      (source (path Ser_version) (impl (path sertop_v8_12/ser_version.ml))))
     (module
      (obj_name sertop__Sercomp_stats)
      (visibility public)
      (source
       (path Sercomp_stats)
       (intf (path sertop_v8_12/sercomp_stats.mli))
       (impl (path sertop_v8_12/sercomp_stats.ml))))
     (module
      (obj_name sertop__Sertop_arg)
      (visibility public)
      (source
       (path Sertop_arg)
       (intf (path sertop_v8_12/sertop_arg.mli))
       (impl (path sertop_v8_12/sertop_arg.ml))))
     (module
      (obj_name sertop__Sertop_init)
      (visibility public)
      (source
       (path Sertop_init)
       (intf (path sertop_v8_12/sertop_init.mli))
       (impl (path sertop_v8_12/sertop_init.ml))))
     (module
      (obj_name sertop__Sertop_ser)
      (visibility public)
      (source
       (path Sertop_ser)
       (intf (path sertop_v8_12/sertop_ser.mli))
       (impl (path sertop_v8_12/sertop_ser.ml))))
     (module
      (obj_name sertop__Sertop_sexp)
      (visibility public)
      (source
       (path Sertop_sexp)
       (intf (path sertop_v8_12/sertop_sexp.mli))
       (impl (path sertop_v8_12/sertop_sexp.ml))))
     (module
      (obj_name sertop__Sertop_util)
      (visibility public)
      (source
       (path Sertop_util)
       (intf (path sertop_v8_12/sertop_util.mli))
       (impl (path sertop_v8_12/sertop_util.ml))))))
   (wrapped true))))
