Merge proposals

coq-deriving in Ubuntu has no merge proposals.