(coq.theory
 (package rocq-elpi)
 (name elpi_examples)
 (plugins rocq-elpi.elpi)
 (theories elpi))

; (include_subdirs qualified)
