anchor.diff:      };
     };
     plasma-desktop = {
  -    version = "5.15.3";
  -    src = fetchurl {
  -      url = "${mirror}/stable/plasma/5.15.3/plasma-desktop-5.15.3.tar.xz";
  -      sha256 = "1k1xx9kwrwzy440748xf9xfkldyyrqk5mld1pzabgzfivsxssbrg";
  -      name = "plasma-desktop-5.15.3.tar.xz";
  +    version = "5.15.3.1";
  +    src = fetchurl {
  +      url = "${mirror}/stable/plasma/5.15.3/plasma-desktop-5.15.3.1.tar.xz";
  +      sha256 = "0mrn729zcwx8k6xqkaxrs80kmd263h2n12gyy1f7lik3gydpcwk9";
  +      name = "plasma-desktop-5.15.3.1.tar.xz";
       };
     };
     plasma-integration = {
  
positive.code:     };
    };
    systemsettings = {
      version = "5.15.3";
      src = fetchurl {
        url = "${mirror}/stable/plasma/5.15.3/systemsettings-5.15.3.tar.xz";
        sha256 = "0qa0qz6286byjky4f0nx1y9raa8d56lfryyvfnx3fdzz9xypvwxj";
        name = "systemsettings-5.15.3.tar.xz";
      };
    };
    user-manager = {
  
negative.code:     };
    };
    kwin = {
      version = "5.15.3.1";
      src = fetchurl {
        url = "${mirror}/stable/plasma/5.15.3/kwin-5.15.3.1.tar.xz";
        sha256 = "0v7qmbwn7j7la10g7cy4hmqdh5wahnv203xrbklfb158p73pn5yr";
        name = "kwin-5.15.3.1.tar.xz";
      };
    };
    kwrited = {
  