名前: あべのり 日時: 2013-05-11 00:44:02 IPアドレス: 220.157.226.*
>>57102 確かにダウンロード時のproxyが効いていませんでした．（あるヘッダファイルのバグを踏んでしまったようです．） また，ダウンロードに失敗した時はインストールを行わないべきでした． （ただ，ダウンロードに失敗してもインストールに成功しているのは不思議です．前のファイルが残っていたりしたのではないでしょうか？） そのあたりを直した（つもりの）ものをアップしておきました．
この書き込みへの返事：