Hi @naviman. You are getting two different things mixed up:
Arduino Library Manager - Used to install Arduino libraries.
Arduino Boards Manager - Use to install Arduino boards platforms.
It is true that there is no way to add additional URLs for the Arduino Library Manager. But that is no problem because the URL you have posted is not for a library. It is for a boards platform.
You can learn how to add additional URLs for the Arduino Boards Manager here:
First thing to check is if you access the URL using a browser.
If yes, if you are in a corporate environment, they might have blocked applications. E.g. the first time you might have tried it on a company laptop from home and the second time (when it failed) in a corporate environment.
PS
It would be easier if you would have copy-and paste the error
HI @sterretje .thank you for your reply!
I use a browser and can access this file normally.
I've also tried downloading this file using Arduino outside of the company, with no success.
I also tried, using manual input instead of copy-paste. None of these solved the problem.
Could you please help me try it?
Do you have any other suggestions?
Hi @naviman. I'm going to ask you to post the full output text in case there is additional information hidden from your screenshot that might help us to identify the problem.
Please do this:
Close all Arduino IDE windows.
Start the Arduino IDE.
(this restart was done to start from a blank output pane)
Select Tools > Board > Boards Manager from the Arduino IDE menus.
After the download fails, click the Close button.
Click on the black console pane at the bottom of the Arduino IDE window.
Press Ctrl+A to select all the text.
Press Ctrl+C to copy the selected text to the clipboard.
Open a forum reply here by clicking the Reply button.
Click the </> icon on the post composer toolbar. This will add the forum's code block markup (```) to your reply to make sure the error messages are correctly formatted.
Press Ctrl+V. This will paste the compilation output into the code block.
Move the cursor outside of the code block markup before you add any additional text to your reply.