gdbgui: 0.11.1.2 -> 0.13.0.0

wip/yesman
Jörg Thalheim 6 years ago
parent 491f205332
commit 0e617f68d3
  1. 4
      pkgs/development/tools/misc/gdbgui/default.nix

@ -4,14 +4,14 @@ let
in
python27Packages.buildPythonApplication rec {
pname = "gdbgui";
version = "0.11.1.2";
version = "0.13.0.0";
buildInputs = [ gdb ];
propagatedBuildInputs = builtins.attrValues deps.packages;
src = python27Packages.fetchPypi {
inherit pname version;
sha256 = "15502fg90df183mcg6nic8fakf111pgrlp7f044g3136wpwgfln7";
sha256 = "16a46kabhfqsgsks5l25kpgrvrkdah3h5f5m6ams2z9nzbrxl8bz";
};
postPatch = ''

Loading…
Cancel
Save