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.