Merge proposals

coq-simple-io in Ubuntu has no merge proposals.