is the download of the Arduino IDE for Linux x86-64.
This link:
is the download of the avr-gcc compiler for Linux x86-64.
The latter is downloaded by the Arduino IDE Boards Manager when you install the "Arduino AVR Boards" platform. @leo9473 did not download the file directly. The Arduino IDE attempted to download it for them.
@leo9473 if you try again now are you able to install "Arduino AVR Boards"? Sometimes these errors can be caused by transient network service outages or degradations that resolve themselves after a while.
I'm having a similar problem installing in Windows. After installing the basic Arduino 2.0 package and launching it, the Arduino environment tries to download the AVR package and fails with the following message:
Is this a firewall issue, or something else. (I am in an institutional environment while doing this. At home on my laptop, everything worked just fine.)
I am also having the exact same issue. If I install on my Home PC - Everything is fine. Install on my work machine and have the same errors as you.
Same happens if I turn my firewall off, so that isnt blocking any incoming/outgoing connection
Same happens if I install the stand alone Zip file version, or install into a folder other that C:/Program FIles using the .exe or the .MSI
The fact that it installs fine on my home machine means it isn't the package that has bugs, rather something at work. I'm thinking possibly Windows Defender (it's the only Antivirus I have installed). At home I use AGV and have no issues.
I am asking a colleague to look at the Defender logs, will report back if it is that that is blocking anything