Arduino is back on Debian