Comment 5 for bug 1425677

>Can you explain the license issue? I might be able of helping out.

The Debian bug report [1] touches a bit on it, but it also points to a pull request [2] which explains it in more detail.
Thanks for stopping by, I hope this should be easy to resolve. :)

[1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=780706
[2] https://github.com/arduino/Arduino/pull/2703