distro: Fetch bootstrap binaries from alpha.gnu.org.
authorLudovic Courtès <ludo@gnu.org>
Tue, 15 Jan 2013 10:34:54 +0000 (11:34 +0100)
committerLudovic Courtès <ludo@gnu.org>
Tue, 15 Jan 2013 10:34:54 +0000 (11:34 +0100)
commit04732c37ca2d714652a7895709622b7ef7441422
tree10d96c99219c8fc50f471c92afa01fa9772ae4d5
parente2034de5d0b16827d2b9353da56480780e3bc1bf
distro: Fetch bootstrap binaries from alpha.gnu.org.

* build-aux/download.scm (%url-base): Change to alpha.gnu.org.
* distro/packages/bootstrap.scm (%bootstrap-base-url): Rename to...
  (%bootstrap-base-urls): ... this.  Add alpha.gnu.org as the first
  URL.  Update users.
build-aux/download.scm
distro/packages/bootstrap.scm