| Parent directory/ | - | - |
| gnome-shell-extension-shortcuts_1.1.1-1.debian...> | 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...> | 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...> | 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.5.1-1.debian...> | 2744 | 2024-Jul-15 12:28 |
| gnome-shell-extension-shortcuts_1.5.1-1.dsc | 2130 | 2024-Jul-15 12:28 |
| gnome-shell-extension-shortcuts_1.5.1-1_all.deb | 15280 | 2024-Jul-15 12:48 |
| gnome-shell-extension-shortcuts_1.5.1.orig.tar.bz2 | 23095 | 2024-Apr-06 08:37 |