![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[ ]](/theme/icons/deb.png){kind=icon} | gnome-shell-extension-shortcuts_1.1.1-1_all.deb | 2018-01-10 15:15 | 9.0K |
| gnome-shell-extension-shortcuts_1.1.2-2_all.deb | 2020-11-18 23:58 | 9.3K |
| gnome-shell-extension-shortcuts_1.3.6-1_all.deb | 2022-12-20 00:55 | 12K |
| gnome-shell-extension-shortcuts_1.7.0-1_all.deb | 2025-02-17 10:38 | 16K |