用arduino ide安装esp32工具包时报错的原因？

用arduino ide，包括arduino ide 2.0，安装esp32工具包时，

                        
                                             
该链接在国内网络会造成以下错误：

                                
                        
                        
这样，就能正常安装esp32工具包了：