22 Nov
2018
22 Nov
'18
5:23 p.m.
Hi, Our mirror server, mirror.cc.columbia.edu, is under maintenance. I will send an update when it is back in service.
Regards,
--
mirror-admin@columbia.edu