package "coercion" (
  directory = "coercion"
  description = ""
  requires = "coq-core.plugins.ltac coq-core.vernac rocq-elpi.elpi"
  archive(byte) = "elpi_coercion_plugin.cma"
  archive(native) = "elpi_coercion_plugin.cmxa"
  plugin(byte) = "elpi_coercion_plugin.cma"
  plugin(native) = "elpi_coercion_plugin.cmxs"
)
package "cs" (
  directory = "cs"
  description = ""
  requires = "coq-core.plugins.ltac coq-core.vernac rocq-elpi.elpi"
  archive(byte) = "elpi_cs_plugin.cma"
  archive(native) = "elpi_cs_plugin.cmxa"
  plugin(byte) = "elpi_cs_plugin.cma"
  plugin(native) = "elpi_cs_plugin.cmxs"
)
package "elpi" (
  directory = "elpi"
  description = "Elpi"
  requires =
  "coq-core.plugins.ltac coq-core.vernac elpi ppx_deriving.runtime"
  archive(byte) = "elpi_plugin.cma"
  archive(native) = "elpi_plugin.cmxa"
  plugin(byte) = "elpi_plugin.cma"
  plugin(native) = "elpi_plugin.cmxs"
)
package "tc" (
  directory = "tc"
  description = ""
  requires = "coq-core.plugins.ltac coq-core.vernac rocq-elpi.elpi"
  archive(byte) = "elpi_tc_plugin.cma"
  archive(native) = "elpi_tc_plugin.cmxa"
  plugin(byte) = "elpi_tc_plugin.cma"
  plugin(native) = "elpi_tc_plugin.cmxs"
)