Test-Command: coqtop -batch -rifrom Gappa Gappa_common
Depends: coq, @

Tests: testsuite
Restrictions: allow-stderr
Depends: coq, @
