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