| Parent directory/ | - | - |
| gnome-shell-extension-shortcuts_1.1.0-1.debian...> | 2524 | 2017-Jan-18 14:35 |
| gnome-shell-extension-shortcuts_1.1.0-1.dsc | 2130 | 2017-Jan-18 14:35 |
| gnome-shell-extension-shortcuts_1.1.0.orig.tar.gz | 19964 | 2017-Jan-18 14:35 |
| gnome-shell-extension-shortcuts_1.1.0-1_all.deb | 9082 | 2017-Jan-18 15:40 |
| 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.orig.tar.gz | 20060 | 2020-Nov-18 18:59 |
| 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 |