Lower version bounds on binary