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

(include_subdirs qualified)

