Merge proposals

coq-math-classes in Ubuntu has no merge proposals.