本来のダウンロードサイト

公式はこっちです

JAISTのミラー

ラズパイ関係のディレクトリはこちらです

わかりづらいので適当に一覧にしてみました

一部公式側が外部リンクにしているものは除きました

pingで確認する限り公式側のサーバーだと200ms程度ありますがjaistでは60msほどでした

やはり日本のほうが速い