実家から帰ってきました

 ftp.jaist.ac.jpの9.3や10.1のアップデートディレクトリーが更新されていない件は今日も変わらずでした。
 これは他のサーバを試す必要がありそうです。