Merge proposals

coq-stdpp in Ubuntu has no merge proposals.