Peter Simons 65f3932f6e Update list of gnupg.org mirror sites. ... The list we had before contained a lot of junk, i.e. sites that were no longer online or no longer in sync. The new list of sites comes from https://gnupg.org/download/index.html.		2015-12-04 21:11:22 +01:00
..
builder.sh	fetchurl/builder.sh: style fix, close #10260	2015-10-07 09:48:58 +02:00
default.nix	fetchurl: allow adding meta info; fetchFrom*: add meta.homepage	2015-05-24 14:26:39 +00:00
mirrors.nix	Update list of gnupg.org mirror sites.	2015-12-04 21:11:22 +01:00
write-mirror-list.sh	* Write the list of mirrors to a file that we can reuse between	2008-08-22 15:53:21 +00:00