(coq.theory
 (name elpi.apps.tc)
 (package rocq-elpi)
 (theories elpi elpi.apps.tc.elpi)
 (flags -w -all -w -elpi)
 (plugins rocq-elpi.tc))

(include_subdirs qualified)
