Adapt to https://github.com/math-comp/math-comp/pull/1354 by proux01 · Pull Request #25 · coq-community/gaia