Merge proposals

coq-corn in Ubuntu has no merge proposals.