It's been a long time (years) since I had any trouble with HEANet's mirrors, and I use them at home and at work all the time.

What's happening when you try to update? Do you get an error, no...