On Dan Staines' advice switched to the EBI-internal mirror that gets update earlier