apt-get, deb packaging, and launchpad are seriouslu overkill for checking if a new version is available, and if so downloading and installing it. A PPA is also ubuntu specific, which doesn't help anyone using any other distribution.
- [julia-users] Is Ubuntu's PPA needed for installing Ju... K leo
- [julia-users] Is Ubuntu's PPA needed for installi... Kristoffer Carlsson
- [julia-users] Re: Is Ubuntu's PPA needed for ... Uwe Fechner
- [julia-users] Re: Is Ubuntu's PPA needed ... Tony Kelman
