Index of /deb.debian.org/debian/pool/main/g/gnome-shell-extension-pixelsaver/

../
gnome-shell-extension-pixelsaver_1.30-1.debian...> 19-Nov-2022 19:27     10K
gnome-shell-extension-pixelsaver_1.30-1_all.deb    19-Nov-2022 19:52    113K