Index of /debian/pool/main/g/gnome-shell-extension-desktop-icons/


../
gnome-shell-extension-desktop-icons_19.01.1-1.d..> 04-Mar-2019 16:11    7140
gnome-shell-extension-desktop-icons_19.01.1-1.dsc  04-Mar-2019 16:11    2323
gnome-shell-extension-desktop-icons_19.01.1-1_a..> 04-Mar-2019 17:41     31K
gnome-shell-extension-desktop-icons_19.01.1.ori..> 04-Mar-2019 16:11     42K
gnome-shell-extension-desktop-icons_20.04.0+git..> 07-Dec-2020 19:03    6912
gnome-shell-extension-desktop-icons_20.04.0+git..> 07-Dec-2020 19:03    2437
gnome-shell-extension-desktop-icons_20.04.0+git..> 07-Dec-2020 19:28     47K
gnome-shell-extension-desktop-icons_20.04.0+git..> 10-Sep-2020 04:48     57K

mirror server hosted at Truenetwork, Russian Federation.