Adapt to https://github.com/math-comp/math-comp/pull/1110 (!11) · Merge requests · CoqInterval / interval · GitLab

Mentions légales du service

GitLab upgrade completed. Current version is 18.1.6 - https://about.gitlab.com/releases/2025/06/19/gitlab-18-1-released/

Pierre Roux requested to merge mc_1110 into master Nov 03, 2023

Adapt to https://github.com/math-comp/math-comp/pull/1110

This should be backward compatible, CI will confirm.