gitRepo: 1.13.5 -> 1.13.5.1

This commit is contained in:
Michael Weiss 2019-08-30 22:52:31 +02:00
parent 3d0af7848c
commit 3c6d4d7e06
No known key found for this signature in database
GPG Key ID: 5BE487C4D4771D83

@ -4,13 +4,13 @@
stdenv.mkDerivation rec {
pname = "git-repo";
version = "1.13.5";
version = "1.13.5.1";
src = fetchFromGitHub {
owner = "android";
repo = "tools_repo";
rev = "v${version}";
sha256 = "0p9qzgdp88jzzl2zc6c263iww3phcqkyn02yvavhdgii926gi34q";
sha256 = "13rp0fq76a6qlw60pnipkgfng25i0ygyk66y30jv7hy8ip4aa92n";
};
nativeBuildInputs = [ makeWrapper ];