(include_subdirs qualified)

(coq.theory
 (name ITree)
 (package coq-itree))
