package "boot" (
  directory = "boot"
  version = "dev"
  requires = "rocq-runtime.boot"
  exports = "rocq-runtime.boot"
)
package "checklib" (
  directory = "checklib"
  version = "dev"
  requires = "rocq-runtime.checklib"
  exports = "rocq-runtime.checklib"
)
package "clib" (
  directory = "clib"
  version = "dev"
  requires = "rocq-runtime.clib"
  exports = "rocq-runtime.clib"
)
package "config" (
  directory = "config"
  version = "dev"
  requires = "rocq-runtime.config"
  exports = "rocq-runtime.config"
  package "byte" (
    directory = "byte"
    version = "dev"
    requires = "rocq-runtime.config.byte"
    exports = "rocq-runtime.config.byte"
  )
)
package "coqargs" (
  directory = "coqargs"
  version = "dev"
  requires = "rocq-runtime.coqargs"
  exports = "rocq-runtime.coqargs"
)
package "coqworkmgrapi" (
  directory = "coqworkmgrapi"
  version = "dev"
  requires = "rocq-runtime.coqworkmgrapi"
  exports = "rocq-runtime.coqworkmgrapi"
)
package "engine" (
  directory = "engine"
  version = "dev"
  requires = "rocq-runtime.engine"
  exports = "rocq-runtime.engine"
)
package "gramlib" (
  directory = "gramlib"
  version = "dev"
  requires = "rocq-runtime.gramlib"
  exports = "rocq-runtime.gramlib"
)
package "interp" (
  directory = "interp"
  version = "dev"
  requires = "rocq-runtime.interp"
  exports = "rocq-runtime.interp"
)
package "kernel" (
  directory = "kernel"
  version = "dev"
  requires = "rocq-runtime.kernel"
  exports = "rocq-runtime.kernel"
)
package "lib" (
  directory = "lib"
  version = "dev"
  requires = "rocq-runtime.lib"
  exports = "rocq-runtime.lib"
)
package "library" (
  directory = "library"
  version = "dev"
  requires = "rocq-runtime.library"
  exports = "rocq-runtime.library"
)
package "parsing" (
  directory = "parsing"
  version = "dev"
  requires = "rocq-runtime.parsing"
  exports = "rocq-runtime.parsing"
)
package "perf" (
  directory = "perf"
  version = "dev"
  requires = "rocq-runtime.perf"
  exports = "rocq-runtime.perf"
)
package "plugins" (
  directory = "plugins"
  package "btauto" (
    directory = "btauto"
    version = "dev"
    requires = "rocq-runtime.plugins.btauto"
    exports = "rocq-runtime.plugins.btauto"
  )
  package "cc" (
    directory = "cc"
    version = "dev"
    requires = "rocq-runtime.plugins.cc"
    exports = "rocq-runtime.plugins.cc"
  )
  package "cc_core" (
    directory = "cc_core"
    version = "dev"
    requires = "rocq-runtime.plugins.cc_core"
    exports = "rocq-runtime.plugins.cc_core"
  )
  package "derive" (
    directory = "derive"
    version = "dev"
    requires = "rocq-runtime.plugins.derive"
    exports = "rocq-runtime.plugins.derive"
  )
  package "extraction" (
    directory = "extraction"
    version = "dev"
    requires = "rocq-runtime.plugins.extraction"
    exports = "rocq-runtime.plugins.extraction"
  )
  package "firstorder" (
    directory = "firstorder"
    version = "dev"
    requires = "rocq-runtime.plugins.firstorder"
    exports = "rocq-runtime.plugins.firstorder"
  )
  package "firstorder_core" (
    directory = "firstorder_core"
    version = "dev"
    requires = "rocq-runtime.plugins.firstorder_core"
    exports = "rocq-runtime.plugins.firstorder_core"
  )
  package "funind" (
    directory = "funind"
    version = "dev"
    requires = "rocq-runtime.plugins.funind"
    exports = "rocq-runtime.plugins.funind"
  )
  package "ltac" (
    directory = "ltac"
    version = "dev"
    requires = "rocq-runtime.plugins.ltac"
    exports = "rocq-runtime.plugins.ltac"
  )
  package "ltac2" (
    directory = "ltac2"
    version = "dev"
    requires = "rocq-runtime.plugins.ltac2"
    exports = "rocq-runtime.plugins.ltac2"
  )
  package "ltac2_ltac1" (
    directory = "ltac2_ltac1"
    version = "dev"
    requires = "rocq-runtime.plugins.ltac2_ltac1"
    exports = "rocq-runtime.plugins.ltac2_ltac1"
  )
  package "micromega" (
    directory = "micromega"
    version = "dev"
    requires = "rocq-runtime.plugins.micromega"
    exports = "rocq-runtime.plugins.micromega"
  )
  package "micromega_core" (
    directory = "micromega_core"
    version = "dev"
    requires = "rocq-runtime.plugins.micromega_core"
    exports = "rocq-runtime.plugins.micromega_core"
  )
  package "nsatz" (
    directory = "nsatz"
    version = "dev"
    requires = "rocq-runtime.plugins.nsatz"
    exports = "rocq-runtime.plugins.nsatz"
  )
  package "nsatz_core" (
    directory = "nsatz_core"
    version = "dev"
    requires = "rocq-runtime.plugins.nsatz_core"
    exports = "rocq-runtime.plugins.nsatz_core"
  )
  package "number_string_notation" (
    directory = "number_string_notation"
    version = "dev"
    requires = "rocq-runtime.plugins.number_string_notation"
    exports = "rocq-runtime.plugins.number_string_notation"
  )
  package "ring" (
    directory = "ring"
    version = "dev"
    requires = "rocq-runtime.plugins.ring"
    exports = "rocq-runtime.plugins.ring"
  )
  package "rtauto" (
    directory = "rtauto"
    version = "dev"
    requires = "rocq-runtime.plugins.rtauto"
    exports = "rocq-runtime.plugins.rtauto"
  )
  package "ssreflect" (
    directory = "ssreflect"
    version = "dev"
    requires = "rocq-runtime.plugins.ssreflect"
    exports = "rocq-runtime.plugins.ssreflect"
  )
  package "ssrmatching" (
    directory = "ssrmatching"
    version = "dev"
    requires = "rocq-runtime.plugins.ssrmatching"
    exports = "rocq-runtime.plugins.ssrmatching"
  )
  package "tauto" (
    directory = "tauto"
    version = "dev"
    requires = "rocq-runtime.plugins.tauto"
    exports = "rocq-runtime.plugins.tauto"
  )
  package "zify" (
    directory = "zify"
    version = "dev"
    requires = "rocq-runtime.plugins.zify"
    exports = "rocq-runtime.plugins.zify"
  )
)
package "pretyping" (
  directory = "pretyping"
  version = "dev"
  requires = "rocq-runtime.pretyping"
  exports = "rocq-runtime.pretyping"
)
package "printing" (
  directory = "printing"
  version = "dev"
  requires = "rocq-runtime.printing"
  exports = "rocq-runtime.printing"
)
package "proofs" (
  directory = "proofs"
  version = "dev"
  requires = "rocq-runtime.proofs"
  exports = "rocq-runtime.proofs"
)
package "stm" (
  directory = "stm"
  version = "dev"
  requires = "rocq-runtime.stm"
  exports = "rocq-runtime.stm"
)
package "sysinit" (
  directory = "sysinit"
  version = "dev"
  requires = "rocq-runtime.sysinit"
  exports = "rocq-runtime.sysinit"
)
package "tactics" (
  directory = "tactics"
  version = "dev"
  requires = "rocq-runtime.tactics"
  exports = "rocq-runtime.tactics"
)
package "toplevel" (
  directory = "toplevel"
  version = "dev"
  requires = "rocq-runtime.toplevel"
  exports = "rocq-runtime.toplevel"
)
package "vernac" (
  directory = "vernac"
  version = "dev"
  requires = "rocq-runtime.vernac"
  exports = "rocq-runtime.vernac"
)
package "vm" (
  directory = "vm"
  version = "dev"
  requires = "rocq-runtime.vm"
  exports = "rocq-runtime.vm"
)