Ricky Elrod 4c8aa8f333 Add a bunch of Fedora mirrors and remove an old one		2014-05-06 01:58:43 -04:00
..
builder.sh	fetchUrl: add curlOpts parameter (merge #535)	2013-05-16 10:45:16 +02:00
default.nix	fetchurl: Ensure that ‘urls’ is a list	2014-02-19 13:58:42 +01:00
gnome.nix	Add modemmanager	2012-01-04 09:05:22 +00:00
mirrors.nix	Add a bunch of Fedora mirrors and remove an old one	2014-05-06 01:58:43 -04: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