Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
gnome-shell-extension-shortcuts_1.1.1-1.debian.tar.xz | 10-Jan-2018 18:08 | 2.5K | ||
gnome-shell-extension-shortcuts_1.1.1-1.dsc | 10-Jan-2018 18:08 | 2.1K | ||
gnome-shell-extension-shortcuts_1.1.1-1_all.deb | 11-Jan-2018 07:00 | 9.1K | ||
gnome-shell-extension-shortcuts_1.1.1.orig.tar.gz | 10-Jan-2018 18:08 | 20K | ||