Merge proposals

coq-hammer in Ubuntu has no merge proposals.