(coq.theory
 (name HoTT.Tests)
 (theories HoTT))

(include_subdirs qualified)

(alias
 (name runtest)
 (deps
  (glob_files_rec ./*.vo)))
