From the students:
"
It was the same for the other person who had got to where we were supposed to download it. Moving on, we found that the Minim library would not download either, with the same error message."
So it looks like none of them can (out of five), and there is at least one other library that won’t install.