The site is up and the distfile fetches with the current checksum. I just this was just a transient issue.