Merge pull request #54580 from plapadoo/gprof2dot-latest

gprof2dot: 2015-04-27 -> 2017-09-19
This commit is contained in:
Jörg Thalheim
2019-01-31 21:50:39 +00:00
committed by GitHub
3 changed files with 9 additions and 8 deletions

View File

@@ -0,0 +1,20 @@
{ lib, fetchFromGitHub, buildPythonApplication }:
buildPythonApplication {
name = "gprof2dot-2017-09-19";
src = fetchFromGitHub {
owner = "jrfonseca";
repo = "gprof2dot";
rev = "2017.09.19";
sha256 = "1b5wvjv5ykbhz7aix7l3y7mg1hxi0vgak4a49gr92sdlz8blj51v";
};
meta = with lib; {
homepage = https://github.com/jrfonseca/gprof2dot;
description = "Python script to convert the output from many profilers into a dot graph";
license = licenses.lgpl3Plus;
platforms = platforms.linux;
maintainers = [ maintainers.pmiddend ];
};
}