Index of /debian-ports/pool/main/g/gnome-shell-extension-desktop-icons
Name Last modified Size Description
Parent Directory -
gnome-shell-extension-desktop-icons_19.01.1-1_all.deb 04-Mar-2019 18:41 31K
gnome-shell-extension-desktop-icons_19.01.3+git20190814.1-1_all.deb 14-Aug-2019 12:57 35K
gnome-shell-extension-desktop-icons_19.01.3-1_all.deb 14-May-2019 12:28 34K
gnome-shell-extension-desktop-icons_19.01.4-1_all.deb 11-Sep-2019 19:20 36K
gnome-shell-extension-desktop-icons_19.01.4-2_all.deb 02-Oct-2019 14:13 36K
gnome-shell-extension-desktop-icons_19.10.2+git20200223-1_all.deb 26-Feb-2020 16:01 38K
gnome-shell-extension-desktop-icons_19.10.2-1_all.deb 10-Oct-2019 11:51 37K
gnome-shell-extension-desktop-icons_20.04.0-1_all.deb 16-Apr-2020 10:14 39K
gnome-shell-extension-desktop-icons_20.04.0-2_all.deb 18-May-2020 23:42 41K
gnome-shell-extension-desktop-icons_20.04.0-3_all.deb 21-Jul-2020 18:59 41K
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80