Filename Modification time Size gnome-shell-extension-shortcuts_1.1.1-1.debian.tar.xz 2018-01-10 15:15 CET 2548 B gnome-shell-extension-shortcuts_1.1.1-1.dsc 2018-01-10 15:15 CET 2147 B gnome-shell-extension-shortcuts_1.1.1-1_all.deb 2018-01-10 15:15 CET 9256 B gnome-shell-extension-shortcuts_1.1.1.orig.tar.gz 2018-01-10 15:15 CET 20 KiB gnome-shell-extension-shortcuts_1.1.2-2.debian.tar.xz 2020-11-18 23:27 CET 2796 B gnome-shell-extension-shortcuts_1.1.2-2.dsc 2020-11-18 23:27 CET 2127 B gnome-shell-extension-shortcuts_1.1.2-2_all.deb 2020-11-18 23:58 CET 9540 B gnome-shell-extension-shortcuts_1.1.2.orig.tar.gz 2020-11-18 19:59 CET 20 KiB gnome-shell-extension-shortcuts_1.3.6-1.debian.tar.xz 2022-12-19 09:22 CET 2492 B gnome-shell-extension-shortcuts_1.3.6-1.dsc 2022-12-19 09:22 CET 2127 B gnome-shell-extension-shortcuts_1.3.6-1_all.deb 2022-12-20 00:55 CET 12 KiB gnome-shell-extension-shortcuts_1.3.6.orig.tar.gz 2022-12-19 09:22 CET 22 KiB gnome-shell-extension-shortcuts_1.3.7-1.debian.tar.xz 2023-08-03 17:08 CEST 2536 B gnome-shell-extension-shortcuts_1.3.7-1.dsc 2023-08-03 17:08 CEST 2127 B gnome-shell-extension-shortcuts_1.3.7-1_all.deb 2023-08-03 19:44 CEST 12 KiB gnome-shell-extension-shortcuts_1.3.7.orig.tar.gz 2023-08-03 17:08 CEST 22 KiB gnome-shell-extension-shortcuts_1.5.1-1~exp2.debian.tar.xz 2024-04-09 00:27 CEST 2704 B gnome-shell-extension-shortcuts_1.5.1-1~exp2.dsc 2024-04-09 00:27 CEST 2183 B gnome-shell-extension-shortcuts_1.5.1-1~exp2_all.deb 2024-04-09 00:52 CEST 15 KiB gnome-shell-extension-shortcuts_1.5.1.orig.tar.bz2 2024-04-06 10:37 CEST 23 KiB