Merge pull request #69508 from r-ryantm/auto-update/buck

buck: 2019.06.17.01 -> 2019.09.12.01
This commit is contained in:
Mario Rodas 2019-09-26 08:38:57 -05:00 committed by GitHub
commit 8a6c8f904f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "buck"; pname = "buck";
version = "2019.06.17.01"; version = "2019.09.12.01";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "facebook"; owner = "facebook";
repo = pname; repo = pname;
rev = "v${version}"; rev = "v${version}";
sha256 = "1nmphjxqwp51j16qajgvi853dm7654x1w1737xr81zzpcbjw6qig"; sha256 = "02rid0r0swxa6n6hl89lcll7hgxn1wjh2kjzxcj4arm7d34243bw";
}; };
patches = [ ./pex-mtime.patch ]; patches = [ ./pex-mtime.patch ];