Adapt to https://github.com/coq/coq/pull/13840. The alternative is to fix the .ref, but it seems you test on more than one Coq version, so it would make things more complex.
Adapt to https://github.com/coq/coq/pull/13840. The alternative is to fix the .ref, but it seems you test on more than one Coq version, so it would make things more complex.