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