Old files are still in this server. Only stages of Apr 17 should stay in the directory. Perhaps they don't use --delete for mirroring.
Is this still an issue? The files seem to be the same ones that are on ibiblio, gatech and purdue...
No, this seems to be fixed. I hope you don't mind if I close the bug :-)