I just managed to install Arduino IDE on easydebian... i don't know if it works properlly because i don't really know how to use it yet. But i'll give a try.