self: super: { gnomeExtensions = super.gnomeExtensions // { paperwm = super.gnomeExtensions.paperwm.overrideDerivation (old: { version = "43.0"; src = super.fetchFromGitHub { owner = "paperwm"; repo = "PaperWM"; rev = "64960df6cde10bcf47c33ce56a2d35e99d8d02bf"; sha256 = "sha256-ejyWIa4HX1lEIHc9qax8jgrgi992W6rkTK60FGzKI/E="; }; }); }; }