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

../
gnome-shell-extension-desktop-icons_19.01.1-1.d..> 04-Mar-2019 23:11    7140
gnome-shell-extension-desktop-icons_19.01.1-1.dsc  04-Mar-2019 23:11    2323
gnome-shell-extension-desktop-icons_19.01.1-1_a..> 05-Mar-2019 00:41     31K
gnome-shell-extension-desktop-icons_19.01.1.ori..> 04-Mar-2019 23:11     42K

mirror server hosted at Truenetwork, Russian Federation.