Index of /ubuntu/pool/universe/g/gnome-shell-extension-top-icons-plus/


../
gnome-shell-extension-top-icons-plus_21-3.debia..> 25-Feb-2018 23:18                4020
gnome-shell-extension-top-icons-plus_21-3.dsc      25-Feb-2018 23:18                2127
gnome-shell-extension-top-icons-plus_21-3_all.deb  25-Feb-2018 23:18                9192
gnome-shell-extension-top-icons-plus_21-4.debia..> 01-Aug-2018 23:13                4468
gnome-shell-extension-top-icons-plus_21-4.dsc      01-Aug-2018 23:13                2127
gnome-shell-extension-top-icons-plus_21-4_all.deb  01-Aug-2018 23:23                9036
gnome-shell-extension-top-icons-plus_21.orig.ta..> 19-Sep-2017 23:19             2756641
gnome-shell-extension-top-icons-plus_22-3.debia..> 15-Sep-2019 18:03                6468
gnome-shell-extension-top-icons-plus_22-3.dsc      15-Sep-2019 18:03                2423
gnome-shell-extension-top-icons-plus_22-3_all.deb  15-Sep-2019 18:08               12128
gnome-shell-extension-top-icons-plus_22-4.debia..> 25-Oct-2019 20:03                6580
gnome-shell-extension-top-icons-plus_22-4.dsc      25-Oct-2019 20:03                2423
gnome-shell-extension-top-icons-plus_22-4_all.deb  25-Oct-2019 21:38               12148
gnome-shell-extension-top-icons-plus_22.orig.ta..> 23-Jul-2019 17:23             2757811