(coq.theory
 (package rocq-elpi-tests-stdlib)
 (name elpi_tests_stdlib)
 (plugins rocq-elpi.elpi)
 (theories elpi elpi_stdlib))

; (include_subdirs qualified)
