It sounds and looks like a caching problem that sometimes happens when a file is replaced using the same name. It happens to me regularly with some programming software I use that gets regular updates but is always named the same. I usually end up one version behind. It could be down to a setting your ISP uses. The best way to get around it is for people not to reuse the same file name (for example, add u1, u2 etc. to the end of the zip name) but he probably doesn't want to do that. Try using one of the mirror sites, I guess. You could also try refreshing the page but I doubt that will work. Or it might just start working in a couple of days.
|