Merge pull request #103521 from r-ryantm/auto-update/rr

rr: 5.3.0 -> 5.4.0
This commit is contained in:
Mario Rodas 2020-11-11 21:28:23 -05:00 committed by GitHub
commit d10ca6d48a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,14 +1,14 @@
{ stdenv, fetchFromGitHub, cmake, libpfm, zlib, pkgconfig, python3Packages, which, procps, gdb, capnproto }:
stdenv.mkDerivation rec {
version = "5.3.0";
version = "5.4.0";
pname = "rr";
src = fetchFromGitHub {
owner = "mozilla";
repo = "rr";
rev = version;
sha256 = "1x6l1xsdksnhz9v50p4r7hhmr077cq20kaywqy1jzdklvkjqzf64";
sha256 = "1sfldgkkmsdyaqa28i5agcykc63gwm3zjihd64g86i852w8al2w6";
};
postPatch = ''