Adapt to https://github.com/math-comp/math-comp/pull/1545#36

vbgl merged 1 commit intojasmin-lang:mainjasmin-lang/coqword:mainfrom

proux01:mc1545proux01/coqword:mc1545Copy head branch name to clipboard