text: # TODO: Generate automatically with Dune
  
  description = "The MetaCoq Template Plugin"
  version = "8.8"
  
  directory = "gen-src"
  requires = "coq"
  
  plugin(byte) = "metacoq_template_plugin.cma"
  plugin(native) = "metacoq_template_plugin.cmxs"
  