gitRepo: 2.4.1 -> 2.5

wip/yesman
Michael Weiss 4 years ago
parent 63805796c6
commit e571880c55
No known key found for this signature in database
GPG Key ID: 5BE487C4D4771D83
  1. 4
      pkgs/applications/version-management/git-repo/default.nix

@ -4,13 +4,13 @@
stdenv.mkDerivation rec {
pname = "git-repo";
version = "2.4.1";
version = "2.5";
src = fetchFromGitHub {
owner = "android";
repo = "tools_repo";
rev = "v${version}";
sha256 = "0khg1731927gvin73dcbw1657kbfq4k7agla5rpzqcnwkk5agzg3";
sha256 = "0y37s0v37gygv0dm8y9sjc4jr7ml8irix5rwmbk6smzwa74n0x8a";
};
patches = [ ./import-ssl-module.patch ];

Loading…
Cancel
Save