I'm attempting to download the 10.0.2 release version for Linux.
Downloads using Chrome, as well as regular wgets seem to proceed until ~96%, and then break off.
The final downloaded archive is missing some data, and can not be extracted.
In this something likely caused by a local caching proxy? Is there any alternative URL that I can use?
Multiple colleagues in my office are experiencing the same problem.