Merge proposals

mathlibtools in Ubuntu has no merge proposals.