It might be that they blocked IRC completely and if that's the case I don't think we can help you evade. Most colleges usually block ports 6665-7000.