Merge proposals

coq-elpi in Ubuntu has no merge proposals.