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

Tests: testsuite
Depends: coq, @
