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


../
gnome-shell-extension-pixelsaver_1.30-1.debian...> 19-Nov-2022 09:57               10180
gnome-shell-extension-pixelsaver_1.30-1.dsc        19-Nov-2022 09:57                2234
gnome-shell-extension-pixelsaver_1.30-1_all.deb    19-Nov-2022 10:22              116168
gnome-shell-extension-pixelsaver_1.30.orig.tar.xz  19-Nov-2022 09:57              143716