Our mirror server, mirror.cc.columbia.edu, is under maintenance.  I will send an update when it is back in service.

Regards,

--