On Mon, 2015-06-15 at 11:32 +0530, Mirror wrote: > Hi all, > > The mirror.cse.iitk.ac.in would be down for few days. We had a disk > failure and need to re-sync the whole data. We would inform as soon as > re-sync is done. > > Regards, > Tejas Gandhi Hi all, mirror.cse.iitk.ac.in is now up. Regards, Tejas Gandhi