Hi.
If what I gather is correct, this licensing and documentation issue is blocking Arduino IDE versions newer than 1.0.5 from entering Debian and derivatives, including Ubuntu. I think this is a unfortunate, since Ubuntu is quite popular and I think also has similar values as Arduino. If I am not mistaken, also RasPi also has consequences because of this.
The comments seem to suggest that this can be solved by changing the documentation and perhaps splitting the Debian package to free and non-free. Has someone reading this investigated further?
I hope this sad wolf will receive fresh Arduino soon (newest Ubuntu version is called Wily Werewolf)