I am having troubles downloading board management package from Arduino IDE latest version.
Takes ages and ends to fail.

I am also unable to download from Baidu, even with a translator I have tried everything.

Is there any other mirror available for Arduino board management package?

Any help appreciated!