gcc13 and gcc14 have been re-installed with Debian 9 (stretch). They were previously running Debian 5 (lenny), and an attempt to upgrade them failed. We were able to keep user data (/home) for gcc13 but not for gcc14.

gcc117, one of the aarch64 machines that was running OpenSUSE, had a btrfs-related crash a few months ago. We decided to re-install it on Debian, since it now supports aarch64. User data in /home was also preserved.

All users should be able to access these machines again with SSH. Since the SSH host keys have changed, it may be necessary to remove the old host keys with "ssh-keygen -R gccXXX.fsffrance.org" beforehand.

Many thanks to our hosts Smile and OSUOSL for the time they spent helping us to troubleshoot and reinstall the machines!