Home / pub / mirrors / ftp.debian.org / debian / dists / stable-updates / non-free-firmware / source / Sources.diff