Merge proposals

coq-record-update in Ubuntu has no merge proposals.