Can you find the relevant file in /etc/apt/sources.list.d/ and post its contents? (It'll be the one with "julia" in the name.)
On Thursday, May 28, 2015 at 4:14:57 PM UTC-5, Andrew B. Martin wrote: > > 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. > >>
