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

../
gnome-shell-extension-pixelsaver_1.30-1.debian...> 20-Apr-2023 14:02               10180
gnome-shell-extension-pixelsaver_1.30-1.dsc        20-Apr-2023 14:02                2234
gnome-shell-extension-pixelsaver_1.30-1_all.deb    20-Apr-2023 14:02              116168
gnome-shell-extension-pixelsaver_1.30.orig.tar.xz  20-Apr-2023 14:02              143716