Closed
Description
It would be really nice if people could automatically update their Arduino IDE with their package manager but currently the IDE package available from Ubuntu's repository is version 1.0.5 would it be possible to start updating it again? Offering different channels like stable/unstable would be even nicer.