Merge proposals

frama-c in Ubuntu has no merge proposals.