Checksums of primary.xml.gz do not match across mirrors

[janus (Janus Troelsen)]

Oh, that does explain it. Thanks so much, I should have used curl -D /dev/stderr or similar to verify that the URL was right.