7857bf4
repo: Use dl.fp.org This is a more canonical location and generally a better direct mirror, at least for me (admittedly in the US).