Merge proposals

coq-mtac2 in Ubuntu has no merge proposals.