Fix Arduino Library not downloading
Set proxy settings
1. Open the software
2. Open preferences
3. Click on network
4. Set proxy
Host name: eduproxy
Port Number: 8000
5. click on ok
6. ALL DONE
Set proxy settings