Test-Command: coqtop -batch -rifrom CoRN fta.FTA
Restrictions: allow-stderr
Depends: coq, @
