package "coq" (
  directory = "coq"
  description = ""
  requires = "coq-core.vernac"
  archive(byte) = "coq.cma"
  archive(native) = "coq.cmxa"
  plugin(byte) = "coq.cma"
  plugin(native) = "coq.cmxs"
)
package "serapi_v8_14" (
  directory = "serapi_v8_14"
  description = "Serialization Protocol for Coq"
  requires = "base coq-core.plugins.ltac coq-core.stm sexplib"
  archive(byte) = "serapi.cma"
  archive(native) = "serapi.cmxa"
  plugin(byte) = "serapi.cma"
  plugin(native) = "serapi.cmxs"
)
package "serlib" (
  directory = "serlib"
  description = "AST utility Library for Coq"
  requires =
  "coq-core.vernac
   
   
   
   ppx_compare.runtime-lib
   
   
   
   ppx_deriving.runtime
   
   
   
   ppx_deriving_yojson.runtime
   
   
   
   ppx_hash.runtime-lib
   
   
   
   ppx_sexp_conv.runtime-lib
   
   
   
   sexplib
   
   
   
   sexplib0
   
   
   
   yojson"
  archive(byte) = "serlib.cma"
  archive(native) = "serlib.cmxa"
  plugin(byte) = "serlib.cma"
  plugin(native) = "serlib.cmxs"
  package "btauto" (
    directory = "btauto"
    description = "Serialization Library for Coq BTauto Plugin"
    requires =
    "coq-core.plugins.btauto
     
     
     
     
     
     coq-serapi.serlib
     
     
     
     
     
     ppx_compare.runtime-lib
     
     
     
     
     
     ppx_deriving.runtime
     
     
     
     
     
     ppx_deriving_yojson.runtime
     
     
     
     
     
     ppx_hash.runtime-lib
     
     
     
     
     
     ppx_sexp_conv.runtime-lib
     
     
     
     
     
     sexplib
     
     
     
     
     
     sexplib0
     
     
     
     
     
     yojson"
    archive(byte) = "serlib_btauto.cma"
    archive(native) = "serlib_btauto.cmxa"
    plugin(byte) = "serlib_btauto.cma"
    plugin(native) = "serlib_btauto.cmxs"
  )
  package "cc" (
    directory = "cc"
    description = "Serialization Library for Coq Congruence Plugin"
    requires =
    "coq-core.plugins.cc
     
     
     
     
     
     coq-serapi.serlib
     
     
     
     
     
     ppx_compare.runtime-lib
     
     
     
     
     
     ppx_deriving.runtime
     
     
     
     
     
     ppx_deriving_yojson.runtime
     
     
     
     
     
     ppx_hash.runtime-lib
     
     
     
     
     
     ppx_sexp_conv.runtime-lib
     
     
     
     
     
     sexplib
     
     
     
     
     
     sexplib0
     
     
     
     
     
     yojson"
    archive(byte) = "serlib_cc.cma"
    archive(native) = "serlib_cc.cmxa"
    plugin(byte) = "serlib_cc.cma"
    plugin(native) = "serlib_cc.cmxs"
  )
  package "extraction" (
    directory = "extraction"
    description = "Serialization Library for Coq Fundind Plugin"
    requires =
    "coq-core.plugins.extraction
     
     
     
     
     
     coq-serapi.serlib
     
     
     
     
     
     ppx_compare.runtime-lib
     
     
     
     
     
     ppx_deriving.runtime
     
     
     
     
     
     ppx_deriving_yojson.runtime
     
     
     
     
     
     ppx_hash.runtime-lib
     
     
     
     
     
     ppx_sexp_conv.runtime-lib
     
     
     
     
     
     sexplib0
     
     
     
     
     
     yojson"
    archive(byte) = "serlib_extraction.cma"
    archive(native) = "serlib_extraction.cmxa"
    plugin(byte) = "serlib_extraction.cma"
    plugin(native) = "serlib_extraction.cmxs"
  )
  package "firstorder" (
    directory = "firstorder"
    description = "Serialization Library for Coq Firstorder Plugin"
    requires =
    "coq-core.plugins.firstorder
     
     
     
     
     
     coq-serapi.serlib
     
     
     
     
     
     ppx_compare.runtime-lib
     
     
     
     
     
     ppx_hash.runtime-lib
     
     
     
     
     
     ppx_sexp_conv.runtime-lib
     
     
     
     
     
     sexplib
     
     
     
     
     
     sexplib0"
    archive(byte) = "serlib_firstorder.cma"
    archive(native) = "serlib_firstorder.cmxa"
    plugin(byte) = "serlib_firstorder.cma"
    plugin(native) = "serlib_firstorder.cmxs"
  )
  package "funind" (
    directory = "funind"
    description = "Serialization Library for Coq Fundind Plugin"
    requires =
    "coq-core.plugins.funind
     
     
     
     
     
     coq-serapi.serlib
     
     
     
     
     
     coq-serapi.serlib.ltac
     
     
     
     
     
     ppx_compare.runtime-lib
     
     
     
     
     
     ppx_hash.runtime-lib
     
     
     
     
     
     ppx_sexp_conv.runtime-lib
     
     
     
     
     
     sexplib
     
     
     
     
     
     sexplib0"
    archive(byte) = "serlib_funind.cma"
    archive(native) = "serlib_funind.cmxa"
    plugin(byte) = "serlib_funind.cma"
    plugin(native) = "serlib_funind.cmxs"
  )
  package "ltac" (
    directory = "ltac"
    description = "Serialization Library for Coq [LTAC plugin]"
    requires =
    "coq-core.plugins.ltac
     
     
     
     
     
     coq-serapi.serlib
     
     
     
     
     
     ppx_compare.runtime-lib
     
     
     
     
     
     ppx_deriving.runtime
     
     
     
     
     
     ppx_deriving_yojson.runtime
     
     
     
     
     
     ppx_hash.runtime-lib
     
     
     
     
     
     ppx_sexp_conv.runtime-lib
     
     
     
     
     
     sexplib
     
     
     
     
     
     sexplib0
     
     
     
     
     
     yojson"
    archive(byte) = "serlib_ltac.cma"
    archive(native) = "serlib_ltac.cmxa"
    plugin(byte) = "serlib_ltac.cma"
    plugin(native) = "serlib_ltac.cmxs"
  )
  package "ltac2" (
    directory = "ltac2"
    description = "Serialization Library for Coq [LTAC2 plugin]"
    requires =
    "coq-core.plugins.ltac2
     
     
     
     
     
     coq-serapi.serlib
     
     
     
     
     
     ppx_compare.runtime-lib
     
     
     
     
     
     ppx_deriving.runtime
     
     
     
     
     
     ppx_deriving_yojson.runtime
     
     
     
     
     
     ppx_hash.runtime-lib
     
     
     
     
     
     ppx_sexp_conv.runtime-lib
     
     
     
     
     
     sexplib
     
     
     
     
     
     sexplib0
     
     
     
     
     
     yojson"
    archive(byte) = "serlib_ltac2.cma"
    archive(native) = "serlib_ltac2.cmxa"
    plugin(byte) = "serlib_ltac2.cma"
    plugin(native) = "serlib_ltac2.cmxs"
  )
  package "micromega" (
    directory = "micromega"
    description = "Serialization Library for Coq Congruence Plugin"
    requires =
    "coq-core.plugins.micromega
     
     
     
     
     
     coq-serapi.serlib
     
     
     
     
     
     ppx_compare.runtime-lib
     
     
     
     
     
     ppx_deriving.runtime
     
     
     
     
     
     ppx_deriving_yojson.runtime
     
     
     
     
     
     ppx_hash.runtime-lib
     
     
     
     
     
     ppx_sexp_conv.runtime-lib
     
     
     
     
     
     sexplib
     
     
     
     
     
     sexplib0
     
     
     
     
     
     yojson"
    archive(byte) = "serlib_micromega.cma"
    archive(native) = "serlib_micromega.cmxa"
    plugin(byte) = "serlib_micromega.cma"
    plugin(native) = "serlib_micromega.cmxs"
  )
  package "micromega_core" (
    directory = "micromega_core"
    description = "Serialization Library for Coq Micromega_core Plugin"
    requires =
    "coq-core.plugins.micromega_core
     
     
     
     
     
     coq-serapi.serlib
     
     
     
     
     
     ppx_compare.runtime-lib
     
     
     
     
     
     ppx_deriving.runtime
     
     
     
     
     
     ppx_deriving_yojson.runtime
     
     
     
     
     
     ppx_hash.runtime-lib
     
     
     
     
     
     ppx_sexp_conv.runtime-lib
     
     
     
     
     
     sexplib
     
     
     
     
     
     sexplib0
     
     
     
     
     
     yojson"
    archive(byte) = "serlib_micromega_core.cma"
    archive(native) = "serlib_micromega_core.cmxa"
    plugin(byte) = "serlib_micromega_core.cma"
    plugin(native) = "serlib_micromega_core.cmxs"
  )
  package "number_string_notation" (
    directory = "number_string_notation"
    description =
    "Serialization Library for Coq Number and String Syntax Plugin"
    requires =
    "coq-core.plugins.number_string_notation
     
     
     
     
     
     coq-serapi.serlib
     
     
     
     
     
     ppx_compare.runtime-lib
     
     
     
     
     
     ppx_deriving.runtime
     
     
     
     
     
     ppx_deriving_yojson.runtime
     
     
     
     
     
     ppx_hash.runtime-lib
     
     
     
     
     
     ppx_sexp_conv.runtime-lib
     
     
     
     
     
     sexplib
     
     
     
     
     
     sexplib0
     
     
     
     
     
     yojson"
    archive(byte) = "serlib_number_string_notation_plugin.cma"
    archive(native) = "serlib_number_string_notation_plugin.cmxa"
    plugin(byte) = "serlib_number_string_notation_plugin.cma"
    plugin(native) = "serlib_number_string_notation_plugin.cmxs"
  )
  package "ring" (
    directory = "ring"
    description = "Serialization Library for Coq Setoid Newring Plugin"
    requires =
    "coq-core.plugins.ring
     
     
     
     
     
     coq-serapi.serlib
     
     
     
     
     
     coq-serapi.serlib.ltac
     
     
     
     
     
     ppx_compare.runtime-lib
     
     
     
     
     
     ppx_hash.runtime-lib
     
     
     
     
     
     ppx_sexp_conv.runtime-lib
     
     
     
     
     
     sexplib
     
     
     
     
     
     sexplib0"
    archive(byte) = "serlib_ring.cma"
    archive(native) = "serlib_ring.cmxa"
    plugin(byte) = "serlib_ring.cma"
    plugin(native) = "serlib_ring.cmxs"
  )
  package "ssreflect" (
    directory = "ssreflect"
    description = "Serialization Library for Coq [SSR plugin]"
    requires =
    "coq-core.plugins.ssreflect
     
     
     
     
     
     coq-serapi.serlib
     
     
     
     
     
     coq-serapi.serlib.ltac
     
     
     
     
     
     coq-serapi.serlib.ssrmatching
     
     
     
     
     
     ppx_compare.runtime-lib
     
     
     
     
     
     ppx_deriving.runtime
     
     
     
     
     
     ppx_deriving_yojson.runtime
     
     
     
     
     
     ppx_hash.runtime-lib
     
     
     
     
     
     ppx_sexp_conv.runtime-lib
     
     
     
     
     
     sexplib
     
     
     
     
     
     sexplib0
     
     
     
     
     
     yojson"
    archive(byte) = "serlib_ssr.cma"
    archive(native) = "serlib_ssr.cmxa"
    plugin(byte) = "serlib_ssr.cma"
    plugin(native) = "serlib_ssr.cmxs"
  )
  package "ssrmatching" (
    directory = "ssrmatching"
    description = "Serialization Library for Coq [SSR Matching plugin]"
    requires =
    "coq-core.plugins.ssrmatching
     
     
     
     
     
     coq-serapi.serlib
     
     
     
     
     
     coq-serapi.serlib.ltac
     
     
     
     
     
     ppx_compare.runtime-lib
     
     
     
     
     
     ppx_deriving.runtime
     
     
     
     
     
     ppx_deriving_yojson.runtime
     
     
     
     
     
     ppx_hash.runtime-lib
     
     
     
     
     
     ppx_sexp_conv.runtime-lib
     
     
     
     
     
     sexplib
     
     
     
     
     
     sexplib0
     
     
     
     
     
     yojson"
    archive(byte) = "serlib_ssrmatching.cma"
    archive(native) = "serlib_ssrmatching.cmxa"
    plugin(byte) = "serlib_ssrmatching.cma"
    plugin(native) = "serlib_ssrmatching.cmxs"
  )
  package "tauto" (
    directory = "tauto"
    description = "Serialization Library for Coq Tauto Plugin"
    requires =
    "coq-core.plugins.tauto
     
     
     
     
     
     coq-serapi.serlib
     
     
     
     
     
     ppx_compare.runtime-lib
     
     
     
     
     
     ppx_deriving.runtime
     
     
     
     
     
     ppx_deriving_yojson.runtime
     
     
     
     
     
     ppx_hash.runtime-lib
     
     
     
     
     
     ppx_sexp_conv.runtime-lib
     
     
     
     
     
     sexplib
     
     
     
     
     
     sexplib0
     
     
     
     
     
     yojson"
    archive(byte) = "serlib_tauto.cma"
    archive(native) = "serlib_tauto.cmxa"
    plugin(byte) = "serlib_tauto.cma"
    plugin(native) = "serlib_tauto.cmxs"
  )
  package "zify" (
    directory = "zify"
    description = "Serialization Library for Coq Congruence Plugin"
    requires =
    "coq-core.plugins.zify
     
     
     
     
     
     coq-serapi.serlib
     
     
     
     
     
     ppx_compare.runtime-lib
     
     
     
     
     
     ppx_deriving.runtime
     
     
     
     
     
     ppx_deriving_yojson.runtime
     
     
     
     
     
     ppx_hash.runtime-lib
     
     
     
     
     
     ppx_sexp_conv.runtime-lib
     
     
     
     
     
     sexplib
     
     
     
     
     
     sexplib0
     
     
     
     
     
     yojson"
    archive(byte) = "serlib_zify.cma"
    archive(native) = "serlib_zify.cmxa"
    plugin(byte) = "serlib_zify.cma"
    plugin(native) = "serlib_zify.cmxs"
  )
)
package "serlib_extra" (
  directory = "serlib_extra"
  description = "Serialization Library for Coq (Extra / Deprecated)"
  requires =
  "coq-core.stm
   
   
   
   coq-serapi.serlib
   
   
   
   ppx_compare.runtime-lib
   
   
   
   ppx_deriving.runtime
   
   
   
   ppx_deriving_yojson.runtime
   
   
   
   ppx_hash.runtime-lib
   
   
   
   ppx_sexp_conv.runtime-lib
   
   
   
   sexplib
   
   
   
   sexplib0
   
   
   
   yojson"
  archive(byte) = "serlib_extra.cma"
  archive(native) = "serlib_extra.cmxa"
  plugin(byte) = "serlib_extra.cma"
  plugin(native) = "serlib_extra.cmxs"
)
package "sertop_v8_12" (
  directory = "sertop_v8_12"
  description = ""
  requires =
  "cmdliner
   
   
   
   coq-serapi.coq
   
   
   
   coq-serapi.serapi_v8_14
   
   
   
   coq-serapi.serlib
   
   
   
   coq-serapi.serlib.ltac
   
   
   
   coq-serapi.serlib_extra
   
   
   
   findlib.dynload
   
   
   
   ppx_sexp_conv.runtime-lib
   
   
   
   sexplib0"
  archive(byte) = "sertop.cma"
  archive(native) = "sertop.cmxa"
  plugin(byte) = "sertop.cma"
  plugin(native) = "sertop.cmxs"
)