Yes, I just noticed. This is because gnat-4.2 spent a few days in the NEW queue and in the mean time a new version of gcc-4.2 landed in unstable. I'll upload an update soon. -- Ludovic Brenta.