Clearly you did not downloaded the file completly 477kB and 15kB downloaded
> The other question is:Is there a way of downloading all the files first with wget and then processing them with pip? Or is there a workaound for the type of environment we have here?