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

; (include_subdirs qualified)
