Merge pull request #262588 from otavio/upd-gitrepo

git-repo: 2.37 -> 2.38
This commit is contained in:
Thiago Kenji Okada 2023-10-22 02:26:22 +01:00 committed by GitHub
commit e7ce711154
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,13 +4,13 @@
stdenv.mkDerivation rec {
pname = "git-repo";
version = "2.37";
version = "2.38";
src = fetchFromGitHub {
owner = "android";
repo = "tools_repo";
rev = "v${version}";
hash = "sha256-6OAubRkNXIm1HaiDq4jzBPUhgbwQowSZXSqAzAe7Rv0=";
hash = "sha256-o3uNFGnccFU3ZSc8BZLh8JTc8517bho/qX6otC5oC5s=";
};
# Fix 'NameError: name 'ssl' is not defined'