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