All,
I just noticed that 0019 was taken out of release candidate to full release status; however, nothing for 64 bit linux...
Does anyone know when that version will become available? It isn't super important to me, but if anyone has ideas, I'm all eyes...
BTW - why wasn't the actual release announced in the News forum...? Certainly that should be news, right?
Dude! Let them have the weekend off! The download is barely a day old! :o
But we certainly appreciate your enthusiasm! 
With Arduino 0018, the 64bit linux version was about a month later than the initial release but I have no idea with this one.
Mowcius
Aha, this might be just what caused the arduino.cc site timeout when trying to connect yesterday around 19:00 EST...
Dude! Let them have the weekend off! The download is barely a day old!
I know that; I do remember (and realize) that it takes time for the 64-bit stuff to come out...
With Arduino 0018, the 64bit linux version was about a month later than the initial release but I have no idea with this one.
I figured that it will take some time, and as I noted I am not in a rush. I do often wonder, though, why the transition (in general, not just specific to the Arduino IDE) to 64-bit (from 32-bit) isn't happening as quick as the transition from 16-bit to 32-bit seemed to have occurred (then again, from 8 to 16 took a while, too).
Aha, this might be just what caused the arduino.cc site timeout when trying to connect yesterday around 19:00 EST...
I noticed that too; at the time I didn't give it much thought, but now that you mention it, you might be right. I wonder if maybe before 1.0 comes out, that a better distribution methodology should be put into place (multiple download servers local to users, or torrents, or...?).