From 09fc9be172fc1fee14f8a6c319b67fef7bdc3e5b Mon Sep 17 00:00:00 2001 From: Matt Bryant Date: Tue, 21 Feb 2023 22:44:31 -0800 Subject: [PATCH] gdbgui: 0.15.0.1 -> 0.15.1.0 Fixes #214614 by switching from the Sept 2021 release to the Jun 2022 release (https://github.com/cs01/gdbgui/releases) --- pkgs/development/tools/misc/gdbgui/default.nix | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/pkgs/development/tools/misc/gdbgui/default.nix b/pkgs/development/tools/misc/gdbgui/default.nix index e953fa0ba40d..523cd85efb6a 100644 --- a/pkgs/development/tools/misc/gdbgui/default.nix +++ b/pkgs/development/tools/misc/gdbgui/default.nix @@ -2,8 +2,9 @@ , buildPythonApplication , fetchPypi , gdb -, flask-socketio +, eventlet , flask-compress +, flask-socketio , pygdbmi , pygments , }: @@ -11,26 +12,26 @@ buildPythonApplication rec { pname = "gdbgui"; - version = "0.15.0.1"; - + version = "0.15.1.0"; buildInputs = [ gdb ]; propagatedBuildInputs = [ - flask-socketio + eventlet flask-compress + flask-socketio pygdbmi pygments ]; src = fetchPypi { inherit pname version; - sha256 = "sha256-bwrleLn3GBx4Mie2kujtaUo+XCALM+hRLySIZERlBg0="; + sha256 = "sha256-YcD3om7N6yddm02It6/fjXDsVHG0Cs46fdGof0PMJXM="; }; postPatch = '' echo ${version} > gdbgui/VERSION.txt - # remove upper version bound - sed -ie 's!,.*<.*!!' requirements.in + # relax version requirements + sed -i 's/==.*$//' requirements.txt ''; postInstall = ''