Merge proposals

eigen3 in Ubuntu has no merge proposals.