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.0-1~exp1.debian.tar.xz 2024-02-19 08:42 CET 2660 B gnome-shell-extension-shortcuts_1.5.0-1~exp1.dsc 2024-02-19 08:42 CET 2147 B gnome-shell-extension-shortcuts_1.5.0-1~exp1_all.deb 2024-02-19 09:08 CET 15 KiB gnome-shell-extension-shortcuts_1.5.0.orig.tar.gz 2024-02-19 08:42 CET 25 KiB