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