On 30/01/2013 11:54 PM, JP Viljoen wrote: <snip>
Alternatively, it could have been restored from backups (I've had this happen in the office once). Has the OP tried contacting the mirror admin? -J
I haven't tried to contact the administrator at that site.I figured that the Debian mirrors mailing list would be the place to report the issue.