Test-Command: coqc debian/tests/basic.v
Depends: coq, @
