Opnieuw, elke spiegelserver is geschikt voor je versie. De spiegelserver moet wel in orde en up to date zijn. Bij probleem even geduld hebben of (tijdelijk) een andere spiegelserver instellen.
Toevallig had ik deze morgen hetzelfde probleem met de bij mij ingestelde server.