A community-maintained package to easily install Arduino IDE on Linux - View it on GitHub