This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues/pull-requests.

Ludovic Courtès 04732c37ca 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.		2013-01-15 11:34:54 +01:00
..
download.scm	distro: Fetch bootstrap binaries from alpha.gnu.org.	2013-01-15 11:34:54 +01:00