(coq.theory
 (name Coq)
 (boot)
 (package coq-boot)
 (plugins coq-boot.boot_plugin))

(include_subdirs qualified)
