現在、gcc.gnu.orgのサーバが障害発生中。
このサーバはsources.redhat.comも運用している。
ファイルシステムに問題があった模様で、現在復旧中。