JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

gdbgui: 0.15.0.1 -> 0.15.1.0

Browse Source 
Fixes #214614 by switching from the Sept 2021 release to the Jun 2022
release (https://github.com/cs01/gdbgui/releases)
This commit is contained in:
Matt Bryant 2023-02-21 22:44:31 -08:00
parent fec6c5c6c9
commit 09fc9be172
No known key found for this signature in database
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
pkgs/development/tools/misc/gdbgui/default.nix
View File

@ -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 = ''