(coq.theory
 (name elpi.apps.tc.tests)
 (flags :standard -async-proofs-cache force)
 (package coq-elpi-tests)
 (theories elpi elpi.apps.tc))

(include_subdirs qualified)
(dirs :standard \ WIP)
