64bit linux listing on the download page

I was checking the download page for new stuff when I happened to see that there's a new 64bit 0021.

Checking it out, it seems to work 'out of the box" on fedora12 (x86_64 of course).

I did notice a bug in the web page/download page:

In the line "Also available from Arduino.cc: Windows, Mac OS X, Linux (32bit) (64bit)," both the 32bit and 64bit fetch the 64 bit version, even though they are named differently.

Oh, and thanks for the linux 64, was really waiting for it!

Thanks for the tip! I was wondering when the 64bit Linux version will be out...