anchor.diff:  , pygdbmi
   , pygments
   , gevent
  +, gevent-websocket
  +, eventlet
   , }:
   
   buildPythonApplication rec {
     pname = "gdbgui";
  -  version = "0.13.2.0";
  +  version = "0.13.2.1";
   
     buildInputs = [ gdb ];
     propagatedBuildInputs = [
  
positive.code: 
    meta = with stdenv.lib; {
      description = "A browser-based frontend for GDB";
      license = licenses.gpl3;
      platforms = platforms.unix;
      maintainers = with maintainers; [ yrashk ];
  
negative.code:     pygdbmi
      pygments
      gevent
      gevent-websocket
      eventlet
    ];
  
    src = fetchPypi {
      inherit pname version;
      sha256 = "0zn5wi47m8pn4amx574ryyhqvhynipxzyxbx0878ap6g36vh6l1h";
    };
  
    postPatch = ''
  