Vladimír Čunát 986c17727e Merge: more compatibility for git* fetchers ... They're additional commits from #26877. Changing names of the fetched stuff was changing very many hashes, and I think it's better to avoid that for the moment to reduce work needed by nixpkgs users. The fetchers are expected to be commonly used even outside nixpkgs, and the current naming wasn't that bad usually. (commit analogical to d10c3cc5eedf58e80e2; I haven't noticed the part of the PR has already got to master)		2017-07-09 10:31:24 +02:00
..
builder.sh
default.nix	support old naming, just add escaping of unsafe chars	2017-07-05 16:01:26 +00:00
gitrepotoname.nix
nix-prefetch-git
private.nix