gitRepo: 1.13.3 -> 1.13.4

This commit is contained in:
Michael Weiss 2019-07-27 22:05:17 +02:00
parent a0c413f71d
commit b515a14c8f
No known key found for this signature in database
GPG key ID: 5BE487C4D4771D83

View file

@ -4,13 +4,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "git-repo-${version}"; name = "git-repo-${version}";
version = "1.13.3"; version = "1.13.4";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "android"; owner = "android";
repo = "tools_repo"; repo = "tools_repo";
rev = "v${version}"; rev = "v${version}";
sha256 = "0wyr6fyc9kzzw6y2cxvri35ib1sh156n6lnv119j5r1rzvc2lg6r"; sha256 = "0p55mx1ry0r3bb8nja09cfpiv1jjxf98r41vrqba1b5hm8hbzfhj";
}; };
nativeBuildInputs = [ makeWrapper ]; nativeBuildInputs = [ makeWrapper ];