package "clib" (
  directory = "clib"
  version = "8.11.0"
  description = "Coq's Utility Library [general purpose]"
  requires = "str threads unix"
  archive(byte) = "clib.cma"
  archive(native) = "clib.cmxa"
  plugin(byte) = "clib.cma"
  plugin(native) = "clib.cmxs"
)
package "config" (
  directory = "config"
  version = "8.11.0"
  description = "Coq Configuration Variables"
  requires = ""
  archive(byte) = "config.cma"
  archive(native) = "config.cmxa"
  plugin(byte) = "config.cma"
  plugin(native) = "config.cmxs"
)
package "engine" (
  directory = "engine"
  version = "8.11.0"
  description = "Coq's Tactic Engine"
  requires = "coq.library"
  archive(byte) = "engine.cma"
  archive(native) = "engine.cmxa"
  plugin(byte) = "engine.cma"
  plugin(native) = "engine.cmxs"
)
package "gramlib" (
  directory = "gramlib"
  version = "8.11.0"
  description = ""
  requires = "coq.lib"
  archive(byte) = "gramlib.cma"
  archive(native) = "gramlib.cmxa"
  plugin(byte) = "gramlib.cma"
  plugin(native) = "gramlib.cmxs"
)
package "interp" (
  directory = "interp"
  version = "8.11.0"
  description = "Coq's Syntactic Interpretation for AST [notations, implicits]"
  requires = "coq.pretyping"
  archive(byte) = "interp.cma"
  archive(native) = "interp.cmxa"
  plugin(byte) = "interp.cma"
  plugin(native) = "interp.cmxs"
)
package "kernel" (
  directory = "kernel"
  version = "8.11.0"
  description = "The Coq Kernel"
  requires = "coq.lib coq.vm dynlink"
  archive(byte) = "kernel.cma"
  archive(native) = "kernel.cmxa"
  plugin(byte) = "kernel.cma"
  plugin(native) = "kernel.cmxs"
)
package "lib" (
  directory = "lib"
  version = "8.11.0"
  description = "Coq's Utility Library [coq-specific]"
  requires = "coq.clib coq.config"
  archive(byte) = "lib.cma"
  archive(native) = "lib.cmxa"
  plugin(byte) = "lib.cma"
  plugin(native) = "lib.cmxs"
)
package "library" (
  directory = "library"
  version = "8.11.0"
  description = "Coq's Loadable Libraries (vo) Support"
  requires = "coq.kernel"
  archive(byte) = "library.cma"
  archive(native) = "library.cmxa"
  plugin(byte) = "library.cma"
  plugin(native) = "library.cmxs"
)
package "parsing" (
  directory = "parsing"
  version = "8.11.0"
  description = ""
  requires = "coq.gramlib coq.interp"
  archive(byte) = "parsing.cma"
  archive(native) = "parsing.cmxa"
  plugin(byte) = "parsing.cma"
  plugin(native) = "parsing.cmxs"
)
package "pretyping" (
  directory = "pretyping"
  version = "8.11.0"
  description = "Coq's Type Inference Component (Pretyper)"
  requires = "coq.engine"
  archive(byte) = "pretyping.cma"
  archive(native) = "pretyping.cmxa"
  plugin(byte) = "pretyping.cma"
  plugin(native) = "pretyping.cmxs"
)
package "printing" (
  directory = "printing"
  version = "8.11.0"
  description = "Coq's Term Pretty Printing Library"
  requires = "coq.parsing coq.proofs"
  archive(byte) = "printing.cma"
  archive(native) = "printing.cmxa"
  plugin(byte) = "printing.cma"
  plugin(native) = "printing.cmxs"
)
package "proofs" (
  directory = "proofs"
  version = "8.11.0"
  description = "Coq's Higher-level Refinement Proof Engine and Top-level Proof Structure"
  requires = "coq.pretyping"
  archive(byte) = "proofs.cma"
  archive(native) = "proofs.cmxa"
  plugin(byte) = "proofs.cma"
  plugin(native) = "proofs.cmxs"
)
package "stm" (
  directory = "stm"
  version = "8.11.0"
  description = "Coq's Document Manager and Proof Checking Scheduler"
  requires = "coq.vernac"
  archive(byte) = "stm.cma"
  archive(native) = "stm.cmxa"
  plugin(byte) = "stm.cma"
  plugin(native) = "stm.cmxs"
)
package "tactics" (
  directory = "tactics"
  version = "8.11.0"
  description = "Coq's Core Tactics [ML implementation]"
  requires = "coq.printing"
  archive(byte) = "tactics.cma"
  archive(native) = "tactics.cmxa"
  plugin(byte) = "tactics.cma"
  plugin(native) = "tactics.cmxs"
)
package "toplevel" (
  directory = "toplevel"
  version = "8.11.0"
  description = "Coq's Interactive Shell [terminal-based]"
  requires = "coq.stm num"
  archive(byte) = "toplevel.cma"
  archive(native) = "toplevel.cmxa"
  plugin(byte) = "toplevel.cma"
  plugin(native) = "toplevel.cmxs"
)
package "vernac" (
  directory = "vernac"
  version = "8.11.0"
  description = "Coq's Vernacular Language"
  requires = "coq.parsing coq.tactics"
  archive(byte) = "vernac.cma"
  archive(native) = "vernac.cmxa"
  plugin(byte) = "vernac.cma"
  plugin(native) = "vernac.cmxs"
)
package "vm" (
  directory = "vm"
  version = "8.11.0"
  description = "Coq's Kernel Abstract Reduction Machine [C implementation]"
  requires = ""
  archive(byte) = "byterun.cma"
  archive(native) = "byterun.cmxa"
  plugin(byte) = "byterun.cma"
  plugin(native) = "byterun.cmxs"
)
