Merge proposals

coqeal in Ubuntu has no merge proposals.