| Parent directory/ | - | - |
| gnome-shell-extension-shortcuts_1.1.1-1.debian...> | 2548 | 10-Jan-2018 14:15 |
| gnome-shell-extension-shortcuts_1.1.1-1.dsc | 2147 | 10-Jan-2018 14:15 |
| gnome-shell-extension-shortcuts_1.1.1-1_all.deb | 9256 | 10-Jan-2018 14:15 |
| gnome-shell-extension-shortcuts_1.1.1.orig.tar.gz | 20K | 10-Jan-2018 14:15 |
| gnome-shell-extension-shortcuts_1.1.2-2.debian...> | 2796 | 18-Nov-2020 22:27 |
| gnome-shell-extension-shortcuts_1.1.2-2.dsc | 2127 | 18-Nov-2020 22:27 |
| gnome-shell-extension-shortcuts_1.1.2-2_all.deb | 9540 | 18-Nov-2020 22:58 |
| gnome-shell-extension-shortcuts_1.1.2.orig.tar.gz | 20K | 18-Nov-2020 18:59 |
| gnome-shell-extension-shortcuts_1.3.6-1.debian...> | 2492 | 19-Dec-2022 08:22 |
| gnome-shell-extension-shortcuts_1.3.6-1.dsc | 2127 | 19-Dec-2022 08:22 |
| gnome-shell-extension-shortcuts_1.3.6-1_all.deb | 12K | 19-Dec-2022 23:55 |
| gnome-shell-extension-shortcuts_1.3.6.orig.tar.gz | 22K | 19-Dec-2022 08:22 |
| gnome-shell-extension-shortcuts_1.3.7-1.debian...> | 2536 | 03-Aug-2023 15:08 |
| gnome-shell-extension-shortcuts_1.3.7-1.dsc | 2127 | 03-Aug-2023 15:08 |
| gnome-shell-extension-shortcuts_1.3.7-1_all.deb | 12K | 03-Aug-2023 17:44 |
| gnome-shell-extension-shortcuts_1.3.7.orig.tar.gz | 22K | 03-Aug-2023 15:08 |
| gnome-shell-extension-shortcuts_1.4.2-1~exp1.de..> | 2580 | 23-Oct-2023 20:05 |
| gnome-shell-extension-shortcuts_1.4.2-1~exp1.dsc | 2147 | 23-Oct-2023 20:05 |
| gnome-shell-extension-shortcuts_1.4.2-1~exp1_al..> | 15K | 23-Oct-2023 21:26 |
| gnome-shell-extension-shortcuts_1.4.2.orig.tar.gz | 24K | 23-Oct-2023 20:05 |