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.6.0-1.debian.tar.xz 2024-10-07 09:10 CEST 2888 B gnome-shell-extension-shortcuts_1.6.0-1.dsc 2024-10-07 09:10 CEST 2130 B gnome-shell-extension-shortcuts_1.6.0-1_all.deb 2024-10-07 14:29 CEST 15 KiB gnome-shell-extension-shortcuts_1.6.0.orig.tar.bz2 2024-09-02 19:00 CEST 23 KiB
