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

proux01 wants to merge 1 commit intomasterrocq-community/graph-theory:masterfrom

mc1456rocq-community/graph-theory:mc1456Copy head branch name to clipboard