idris-lang/Idris-dev — pull request #522 by Ralith (2013-10-07 19:03:35+00:00)
Title: Fix travis

The LLVM project recently removed llvm-3.3 packages from their hosted ubuntu repositories. This switches travis over to using an Ubuntu-hosted PPA, and incidentally removes some redundancy to improve build times.