<div dir="ltr">Hi,<div>Our mirror server, <a href="http://mirror.cc.columbia.edu">mirror.cc.columbia.edu</a>, is under maintenance.  I will send an update when it is back in service.</div><div><br></div><div>Regards,</div><div>-- </div><div><a href="mailto:mirror-admin@columbia.edu">mirror-admin@columbia.edu</a></div></div>