package "kernel" (
  directory = "kernel"
  version = "9.0.0"
  requires = "rocq-runtime.kernel"
  exports = "rocq-runtime.kernel"
)