リポジトリミラーサーバー

いつもは riken.jp 使ってたんだけど、どうも取得出来ないファイルが出てくるので nara.wide.ad.jp に変えてみたらすんなり落とせた。

ミラーサーバーも決め打じゃない方が良いのかも。

力を入れてサーバー管理してるわけじゃないのかもなぁ、こうゆう法人団体も。でもありがたく使わしてもらっているから文句はいえない。