I've just found that the Core Release repo is not responding either (the others seem to be).
Just tried enabling it and got
- Code: Select all
Unable to update medium; it will be automatically disabled.
Errors:
...retrieving failed: wget failed: exited with 8
problem reading synthesis file for medium "Core Release (distrib1)"
curl fails with a 19 exit code.
Peter.