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


../
gnome-shell-extension-pixelsaver_1.10+git201808..> 30-Aug-2018 10:53    9364
gnome-shell-extension-pixelsaver_1.10+git201808..> 30-Aug-2018 10:53    2365
gnome-shell-extension-pixelsaver_1.10+git201808..> 30-Aug-2018 10:53    109K
gnome-shell-extension-pixelsaver_1.10+git201808..> 30-Aug-2018 10:53    166K
gnome-shell-extension-pixelsaver_1.20-1~bpo10+1..> 09-Jan-2020 12:43    9520
gnome-shell-extension-pixelsaver_1.20-1~bpo10+1..> 09-Jan-2020 12:43    2263
gnome-shell-extension-pixelsaver_1.20-1~bpo10+1..> 09-Jan-2020 12:43    112K
gnome-shell-extension-pixelsaver_1.20.orig.tar.gz  06-Jan-2020 09:45    170K
gnome-shell-extension-pixelsaver_1.24-1.debian...> 12-Oct-2020 08:00    9624
gnome-shell-extension-pixelsaver_1.24-1.dsc        12-Oct-2020 08:00    2231
gnome-shell-extension-pixelsaver_1.24-1_all.deb    12-Oct-2020 08:55    113K
gnome-shell-extension-pixelsaver_1.24.orig.tar.gz  12-Oct-2020 08:00    174K
gnome-shell-extension-pixelsaver_1.30-1.debian...> 19-Nov-2022 09:57     10K
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    113K
gnome-shell-extension-pixelsaver_1.30.orig.tar.xz  19-Nov-2022 09:57    140K