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. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]