Merge proposals

coq-equations in Ubuntu has no merge proposals.