core/gcc to 4.8.0-2
Merge branch 'master' of github.com:archlinuxarm/PKGBUILDs
core/isl to 0.11.2-1