
4 Dec
2006
4 Dec
'06
3:06 p.m.
Ok, whatever works best for you. BTW, I've just visited the GNU website and it seems that 4.1.2 has not yet been officially released:
gcc-4.1.2 is provided by debian/unstable as the default gcc - I didn't noticed that this version of gcc is a prerelease - sorry. regards, Oliver