Test-Command: coqtop -batch -noinit -rifrom HoTT HoTT
Depends: coq, @
