Home / pub / mirrors / ftp.debian.org / debian / dists / rc-buggy / non-free-firmware / debian-installer