Board url for Arduino IDE

[kingLPL47]

Getting error when trying to download board profile to Arduino IDE 1.8.5.
Can anyone confirm the url that should be used?

[Felix]

I replied to your PM, but yes the URL is posted/maintained on this page, and it is correct.
I just tried it with 1.8.5, 1.8.6 and both work.
Make sure you allow Java through your firewall (Windows warning).