Use different ppa for cmake 2.8.12