Actually, since that latest upload of gcc-4.2 introduced RC bugs in the back-end, I'll wait for another upload of gcc-4.2 that fixes them before uploading gnat-4.2. Also, this is not a simple re-upload because I have to update the packaging scripts.
-- Ludovic Brenta. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]