this happens quite frequently with other repos too and is probably due to server overload/maintenance. wait a little and try again tomorrow.