Test-Command: make -C tests
Depends: libcoq-bignums, coq
