gitRepo: 1.13.4 -> 1.13.5

This commit is contained in:
Michael Weiss 2019-08-30 17:49:37 +02:00
parent 003697b32a
commit a66012b3ec
No known key found for this signature in database
GPG Key ID: 5BE487C4D4771D83

View File

@ -3,14 +3,14 @@
}:
stdenv.mkDerivation rec {
name = "git-repo-${version}";
version = "1.13.4";
pname = "git-repo";
version = "1.13.5";
src = fetchFromGitHub {
owner = "android";
repo = "tools_repo";
rev = "v${version}";
sha256 = "0p55mx1ry0r3bb8nja09cfpiv1jjxf98r41vrqba1b5hm8hbzfhj";
sha256 = "0p9qzgdp88jzzl2zc6c263iww3phcqkyn02yvavhdgii926gi34q";
};
nativeBuildInputs = [ makeWrapper ];