Test-Command: coqtop -batch -rifrom mathcomp.multinomials mpoly
Restrictions: allow-stderr
Depends: @, coq
