UPDATE: download.opensuse.org is now working again
download.opensuse.org has an unexpected outage. As a workaround, we redirect all traffic to provo-mirror. Unfortunately the mirror database there is outdated, which means you'll probably get slower downloads than usual.