I do not think Michael Rutter has been maintaining the rdev ppa; it is still R 3.0.1 there