anchor.diff:      homepage = "https://www.gdbgui.com/";
       license = licenses.gpl3;
       platforms = platforms.unix;
  -    maintainers = with maintainers; [ yrashk ];
  +    maintainers = with maintainers; [ yrashk dump_stack ];
     };
   }
  
positive.code: , fetchPypi
  , gdb
  , flask
  , flask-socketio
  , flask-compress
  , pygdbmi
  
negative.code: , eventlet
  , }:
  
  let
    # gdbgui only works with the latest previous major version of flask-socketio,
    # which depends itself on the latest previous major versions of dependencies.
    python-engineio' = python-engineio.overridePythonAttrs (old: rec {
      version = "3.14.2";
      src = fetchPypi {
        inherit (old) pname;
        inherit version;
        sha256 = "119halljynqsgswlhlh750qv56js1p7j52sc0nbwxh8450zmbd7a";
      };
      propagatedBuildInputs = [ six ];
      doCheck = false;
    });
    python-socketio' = python-socketio.overridePythonAttrs (old: rec {
      version = "4.6.1";
      src = fetchPypi {
        inherit (old) pname;
        inherit version;
        sha256 = "047syhrrxh327p0fnab0d1zy25zijnj3gs1qg3kjpsy1jaj5l7yd";
      };
      propagatedBuildInputs = [ bidict python-engineio' ];
      doCheck = false;
    });
    flask-socketio' = flask-socketio.overridePythonAttrs (old: rec {
      version = "4.3.2";
      src = fetchPypi {
        inherit (old) pname;
        inherit version;
        sha256 = "0s2xs9kv9cbwy8bcxszhdwlcb9ldv0fj33lwilf5vypj0wsin01p";
      };
      propagatedBuildInputs = [ flask python-socketio' ];
      doCheck = false;
    });
  in
  buildPythonApplication rec {
    pname = "gdbgui";
    version = "0.14.0.2";
  
    buildInputs = [ gdb ];
    propagatedBuildInputs = [
      flask
      flask-socketio'
      flask-compress
      pygdbmi
      pygments
  