There has been a major change of build infrastructure today, and it’s possible that mirrors still need to sync up. Please be patient, an announcement with details will follow later today.
Edit: indeed, they do.
There has been a major change of build infrastructure today, and it’s possible that mirrors still need to sync up. Please be patient, an announcement with details will follow later today.
Edit: indeed, they do.