On Tuesday, January 10, 2017 5:53:29 PM CET Scott Howard wrote: > Arduino had some licensing issues that prevented it from being > upgraded in debian that were resolved last month. See > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=780706 > > it looks like it can go forward again!
That would be great! Thanks & Regards, Davide