package "plugin" (
  directory = "plugin"
  version = "dev"
  description = ""
  requires =
  "rocq-runtime.plugins.extraction rocq-runtime.plugins.ltac str unix"
  archive(byte) = "quickchick_plugin.cma"
  archive(native) = "quickchick_plugin.cmxa"
  plugin(byte) = "quickchick_plugin.cma"
  plugin(native) = "quickchick_plugin.cmxs"
)