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 :-)