../ gnome-shell-extension-shortcuts_1.6.0-1.debian...> 07-Oct-2024 07:10 2888 gnome-shell-extension-shortcuts_1.6.0-1.dsc 07-Oct-2024 07:10 2130 gnome-shell-extension-shortcuts_1.6.0-1_all.deb 07-Oct-2024 12:29 15K gnome-shell-extension-shortcuts_1.6.0.orig.tar.bz2 02-Sep-2024 17:00 23K