(coq.theory
 (name HoTT_Tests)
 (theories HoTT Ltac2))

(include_subdirs qualified)

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