(lang dune 3.6)
(using coq 0.6)
(license Apache-2.0)
(generate_opam_files true)
(package
(name coq-my-plugin)
(allow_empty))