可以换个时间重新来下载试一试。或许速度会快些。
另外，7z 格式的和zip 格式内容应该是完全相同的，但压缩后小不少，还是优先下载7z。