Adapt to https://github.com/coq/coq/pull/16920 (!10) · Merge requests · CoqInterval / interval · GitLab

Mentions légales du service

Pierre Roux requested to merge coq_16920 into master Jul 28, 2023

C.f.: https://coq.zulipchat.com/#narrow/stream/237977-Coq-users/topic/building.20coq-interval

Co-authored-by: Jason Gross