arduino 64

Your link talks about how to install the arduino enviorment version 10. Version 10 don't supports amd64. I've downloaded version 12 that officially supports amd64 machines but it doesn't works!
I've an AMD64 ArchLinux machine.