■

ダウンロード終了。
wget(cygwin)でダウンロードしたんだけど、エラーっぽい終了の仕方してた。というか、wget.exe.stackdumpってファイルができてた。lengthに負の値が表示されてたから、それでかな。
sha1sumでチェック中。隣にあったSHA1SUMとかいうファイルを一緒にダウンロードしてきて、

sha1sum --check SHA1SUM

とやればいいらしい。