Mentions légales du service

Skip to content

Adapt to https://github.com/coq/coq/pull/16920

Pierre Roux requested to merge coq_16920 into master

This also takes the opportunity to remove the opaque-let warnings (c.f. https://github.com/coq/coq/pull/17205 ) (dropped for now)

Edited by Pierre Roux

Merge request reports