gcc13 and gcc14 will be replaced with new hardware on October 9th. Starting from this date, the DNS names for gcc13 and gcc14 will be changed to point to the new machines.

Data will not be copied over to the new machines. Please backup any important data you have on the old machines.

gcc14 will remain available for a limited amount of time after the change, and will still be reachable under its IP address (

gcc13 experienced a disk failure some time ago and is not currently reachable, but some of its data was copied to gcc14 under /home/gcc13/. It was unfortunately not possible to recover all data from gcc13.

Thanks a lot to Smile for hosting these machines for many years and for their continuing support!