(coq.theory
 (name Coq)
 (package Coq)
 (boot))

(include_subdirs qualified)
