(coq.theory
 (name example_plugin)
 (theories elpi)
 (plugins rocq-elpi.elpi_example_plugin))

(include_subdirs qualified)
