Name | Last Modified | Size | Type |
---|---|---|---|
Parent Directory/ | - | Directory | |
gnome-shell-extension-shortcuts_1.1.1-1.debian.tar.xz | 2018-Jan-11 07:08:31 | 2.5K | application/x-xz |
gnome-shell-extension-shortcuts_1.1.1-1.dsc | 2018-Jan-11 07:08:31 | 2.0K | application/octet-stream |
gnome-shell-extension-shortcuts_1.1.1-1_all.deb | 2018-Jan-11 20:00:13 | 9.0K | application/vnd.debian.binary-package |
gnome-shell-extension-shortcuts_1.1.1.orig.tar.gz | 2018-Jan-11 07:08:31 | 19.5K | application/gzip |