On 05/31/2013 01:17 PM, Johannes Pfau wrote: > If you still want the debian patches for other reasons there's a > gcc-4.8-source package in debian testing and apt-get source gcc-4.8 > might work as well. But it seems those packages are not yet in ubuntu?
No, though I think there's a PPA. I'll test with the regular GCC sources and report back.