On Mon, Oct 22, 2012 at 11:43 AM, Michiel Overtoom <motoom@xxxxxxxxx> wrote: > > On Oct 22, 2012, at 01:44, Richard Jones wrote: > [snip] There was a bug in pip that has been fixed some time ago. Get a new version of pip and try again. -- Radomir Dopieralski, http://sheep.art.pl