On 19 May 2016 at 12:55, Francois Bissey <francois.bis...@canterbury.ac.nz> wrote: > >> On 19/05/2016, at 23:42, John Cremona <john.crem...@gmail.com> wrote: >> >> Removing old version of IPython... >> ============================================================================ >> BUILDING IPYTHON >> python: 2.7.8 (default, May 18 2016, 14:29:28) [GCC 4.8.4] >> > 2.7.8??? What’s happening to your install?
I don't know. IN the upstream directory I have plenty of more recent ones: $ ls -ltr upstream/*python* -rw-r--r-- 1 jec jec 14846119 Nov 15 2014 upstream/python-2.7.8.tar.gz -rw-r--r-- 1 jec jec 11913980 Nov 15 2014 upstream/ipython-2.3.0.tar.gz -rw-r--r-- 1 jec jec 10915828 May 18 2015 upstream/ipython-3.1.0.tar.gz -rw-r--r-- 1 jec jec 16657930 Oct 13 2015 upstream/python-2.7.9.tar.gz -rw-r--r-- 1 jec jec 22255 Oct 13 2015 upstream/ipython_genutils-0.1.0.tar.gz -rw-r--r-- 1 jec jec 6205133 Oct 13 2015 upstream/ipython-4.0.0.tar.gz -rw-r--r-- 1 jec jec 16768806 Jan 19 14:56 upstream/python-2.7.10.tar.gz -rw------- 1 jec jec 301619 May 17 15:25 upstream/python_openid-2.2.5.tar.gz -rw------- 1 jec jec 4953949 May 17 15:26 upstream/ipython-4.1.2.tar.gz Perhaps it is time to make distclean on this one. John > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.