(rocq.theory
 (name Corelib)
 (package Coq)
 (boot))

(include_subdirs qualified)
