package "kernel" (
  directory = "kernel"
  version = "8.20.1"
  requires = "coq-core.kernel"
  exports = "coq-core.kernel"
)