# 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"
