I'm using Ubuntu 14.04.1.

As far as I can remember, I copied and pasted from the documentation I just 
linked to for juliareleases.

I just ran "sudo apt-get remove julia", and then reinstalled, definitely 
following the juliareleases instructions, and wound up with julia Version 
0.4.0-dev+5043 (2015-05-27 15:36 UTC), again.

>

Reply via email to