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: , eventlet
  , }:
  
  buildPythonApplication rec {
    pname = "gdbgui";
    version = "0.13.2.1";
  
    buildInputs = [ gdb ];
    propagatedBuildInputs = [
      flask
      flask-socketio
      flask-compress
      pygdbmi
      pygments
  
negative.code: 
    src = fetchPypi {
      inherit pname version;
      sha256 = "1v6wwsncgnhlg5c7gsmzcp52hfblfnz5kf5pk4d0zybflsxak02d";
    };
  
    postPatch = ''
      echo ${version} > gdbgui/VERSION.txt
      # remove upper version bound
      sed -ie 's!, <.*"!"!' setup.py
      sed -i 's/greenlet==/greenlet>=/' setup.py
    '';
  
    postInstall = ''
  