Can you download other files from other servers?
What Whonix version? Whonix 17.1.0.2 recently downladed, started fresh?