File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
gnome-shell-extension-shortcuts_1.1.1-1_all.deb | 9.0 KiB | January 10, 2018 |
gnome-shell-extension-shortcuts_1.1.2-2_all.deb | 9.3 KiB | November 18, 2020 |
gnome-shell-extension-shortcuts_1.3.6-1_all.deb | 12.1 KiB | December 19, 2022 |
gnome-shell-extension-shortcuts_1.3.7-1_all.deb | 12.2 KiB | August 3, 2023 |
gnome-shell-extension-shortcuts_1.5.1-1~exp2_al..> | 14.8 KiB | April 8, 2024 |