Index of /debian/pool/main/g/gnome-shell-extension-desktop-icons
Name Last modified Size Description
Parent Directory -
gnome-shell-extension-desktop-icons_20.04.0+git20200908.orig.tar.xz 2020-09-10 06:48 57K
gnome-shell-extension-desktop-icons_20.04.0+git20200908-5_all.deb 2020-12-07 20:28 47K
gnome-shell-extension-desktop-icons_19.01.1.orig.tar.bz2 2019-03-04 17:11 42K
gnome-shell-extension-desktop-icons_19.01.1-1_all.deb 2019-03-04 18:41 31K
gnome-shell-extension-desktop-icons_19.01.1-1.debian.tar.xz 2019-03-04 17:11 7.0K
gnome-shell-extension-desktop-icons_20.04.0+git20200908-5.debian.tar.xz 2020-12-07 20:03 6.8K
gnome-shell-extension-desktop-icons_20.04.0+git20200908-5.dsc 2020-12-07 20:03 2.4K
gnome-shell-extension-desktop-icons_19.01.1-1.dsc 2019-03-04 17:11 2.3K
Apache/2.4.62 (Debian) Server at debian.bio.lmu.de Port 443