7月22日からsourceforge.netのミラーサーバのリストからftp.jaist.ac.jpが外されています。sourceforge.netを運営するGeeknetから、ミラーサーバにおける個人情報の取り扱いを、アメリカとEUとスイスの法律に基づいて行う旨の書面にサインして返送することを求められたのですが、学内の手続きに時間が掛かってしまったため外されてしまいました。手続きは進んでいますので、近日中に復帰すると思います。ftp.jaist.ac.jpが使えない間は、National Center for High-Performance Computingが提供している台湾のミラーサーバを使うのがよいと思います。
[7月26日]正確な状況を記載しました。