anchor.diff:  let
   
     pname = "pgadmin";
  -  majorVersion = "6";
  -  minorVersion = "8";
  -  version = "${majorVersion}.${minorVersion}";
  +  version = "6.8";
   
     src = fetchurl {
       url = "https://ftp.postgresql.org/pub/pgadmin/pgadmin4/v${version}/source/pgadmin4-${version}.tar.gz";
  
positive.code:     description = "Administration and development platform for PostgreSQL";
      homepage = "https://www.pgadmin.org/";
      license = licenses.mit;
      changelog = "https://www.pgadmin.org/docs/pgadmin4/latest/release_notes_${majorVersion}_${minorVersion}.html";
      maintainers = with maintainers; [ gador ];
    };
  }
  
negative.code:       ];
      });
      flask-paranoid = prev.flask-paranoid.overridePythonAttrs (oldAttrs: rec {
        # tests fail due to downgrades here
        doCheck = false;
      });
      werkzeug = prev.werkzeug.overridePythonAttrs (oldAttrs: rec {
  