Dear admins,

our mirror ftp.halifax.rwth-aachen.de will be down tomorrow from 12:30 to 15:00 German time, which should be UTC+2. The UTC time therefore should be 10:30 to 13:00. Please update your systems accordingly. The actual downtime should be smaller, as we just install a new PCIe card.

Best regards,