On Tue, Apr 15, 2014 at 05:36:45PM +0200, Ludovic Courtès wrote: > I can even build gcc-final, which leads to: > /gnu/store/7i56mxclndvcsn8lgc5pg0dh5w4khir7-gcc-4.8.2
Okay, as it seems to work for you, I just pushed to core-updates, and we will see what happens. If it breaks, we can try to repair it after the Easter holidays. Andreas
