Test-Command: coqtop -batch -rifrom mathcomp.finmap set
Depends: @, coq
