Eelco Dolstra ea36f3b868 fetchFromGitHub: Use .tar.gz instead of .zip ... Also clean up the name attribute of fetchzip derivations a bit.		2014-05-09 15:53:44 +02:00
..
default.nix	fetchFromGitHub: Use .tar.gz instead of .zip	2014-05-09 15:53:44 +02:00