| Parent directory/ | - | - |
| gnome-shell-extension-shortcuts_1.1.1-1.debian.t..> | 2548 | 2018-Jan-10 14:15 |
| gnome-shell-extension-shortcuts_1.1.1-1.dsc | 2147 | 2018-Jan-10 14:15 |
| gnome-shell-extension-shortcuts_1.1.1-1_all.deb | 9256 | 2018-Jan-10 14:15 |
| gnome-shell-extension-shortcuts_1.1.1.orig.tar.gz | 20034 | 2018-Jan-10 14:15 |
| gnome-shell-extension-shortcuts_1.1.2-2.debian.t..> | 2796 | 2020-Nov-18 22:27 |
| gnome-shell-extension-shortcuts_1.1.2-2.dsc | 2127 | 2020-Nov-18 22:27 |
| gnome-shell-extension-shortcuts_1.1.2-2_all.deb | 9540 | 2020-Nov-18 22:58 |
| gnome-shell-extension-shortcuts_1.1.2.orig.tar.gz | 20060 | 2020-Nov-18 18:59 |
| gnome-shell-extension-shortcuts_1.3.6-1.debian.t..> | 2492 | 2022-Dec-19 08:22 |
| gnome-shell-extension-shortcuts_1.3.6-1.dsc | 2127 | 2022-Dec-19 08:22 |
| gnome-shell-extension-shortcuts_1.3.6-1_all.deb | 12440 | 2022-Dec-19 23:55 |
| gnome-shell-extension-shortcuts_1.3.6.orig.tar.gz | 22474 | 2022-Dec-19 08:22 |
| gnome-shell-extension-shortcuts_1.3.7-1.debian.t..> | 2536 | 2023-Aug-03 15:08 |
| gnome-shell-extension-shortcuts_1.3.7-1.dsc | 2127 | 2023-Aug-03 15:08 |
| gnome-shell-extension-shortcuts_1.3.7-1_all.deb | 12480 | 2023-Aug-03 17:44 |
| gnome-shell-extension-shortcuts_1.3.7.orig.tar.gz | 22473 | 2023-Aug-03 15:08 |