Adapt to https://github.com/math-comp/math-comp/pull/1456#28

proux01 merged 1 commit intomasterrocq-community/bits:masterfrom

mc1456rocq-community/bits:mc1456Copy head branch name to clipboard