Filename Modification time Size gnome-shell-extension-pixelsaver_1.10+git20180804-d97c6e4-1.debian.tar.xz 2018-08-30 12:53 CEST 9364 B gnome-shell-extension-pixelsaver_1.10+git20180804-d97c6e4-1.dsc 2018-08-30 12:53 CEST 2365 B gnome-shell-extension-pixelsaver_1.10+git20180804-d97c6e4-1_all.deb 2018-08-30 12:53 CEST 109 KiB gnome-shell-extension-pixelsaver_1.10+git20180804-d97c6e4.orig.tar.gz 2018-08-30 12:53 CEST 166 KiB gnome-shell-extension-pixelsaver_1.20-1~bpo10+1.debian.tar.xz 2020-01-09 13:43 CET 9520 B gnome-shell-extension-pixelsaver_1.20-1~bpo10+1.dsc 2020-01-09 13:43 CET 2263 B gnome-shell-extension-pixelsaver_1.20-1~bpo10+1_all.deb 2020-01-09 13:43 CET 112 KiB gnome-shell-extension-pixelsaver_1.20.orig.tar.gz 2020-01-06 10:45 CET 170 KiB gnome-shell-extension-pixelsaver_1.24-1.debian.tar.xz 2020-10-12 10:00 CEST 9624 B gnome-shell-extension-pixelsaver_1.24-1.dsc 2020-10-12 10:00 CEST 2231 B gnome-shell-extension-pixelsaver_1.24-1_all.deb 2020-10-12 10:55 CEST 113 KiB gnome-shell-extension-pixelsaver_1.24.orig.tar.gz 2020-10-12 10:00 CEST 174 KiB gnome-shell-extension-pixelsaver_1.30-1.debian.tar.xz 2022-11-19 10:57 CET 10 KiB gnome-shell-extension-pixelsaver_1.30-1.dsc 2022-11-19 10:57 CET 2234 B gnome-shell-extension-pixelsaver_1.30-1_all.deb 2022-11-19 11:22 CET 113 KiB gnome-shell-extension-pixelsaver_1.30.orig.tar.xz 2022-11-19 10:57 CET 140 KiB
