Merge proposals

coq-reduction-effects in Ubuntu has no merge proposals.