../ gnome-shell-extension-shortcuts_1.1.2-2.debian...> 18-Nov-2020 22:27 2796 gnome-shell-extension-shortcuts_1.1.2-2.dsc 18-Nov-2020 22:27 2127 gnome-shell-extension-shortcuts_1.1.2-2_all.deb 18-Nov-2020 22:58 9540 gnome-shell-extension-shortcuts_1.1.2.orig.tar.gz 18-Nov-2020 18:59 20060 gnome-shell-extension-shortcuts_1.3.6-1.debian...> 19-Dec-2022 08:22 2492 gnome-shell-extension-shortcuts_1.3.6-1.dsc 19-Dec-2022 08:22 2127 gnome-shell-extension-shortcuts_1.3.6-1_all.deb 19-Dec-2022 23:55 12440 gnome-shell-extension-shortcuts_1.3.6.orig.tar.gz 19-Dec-2022 08:22 22474 gnome-shell-extension-shortcuts_1.7.0-1.debian...> 17-Feb-2025 09:18 2948 gnome-shell-extension-shortcuts_1.7.0-1.dsc 17-Feb-2025 09:18 2166 gnome-shell-extension-shortcuts_1.7.0-1_all.deb 17-Feb-2025 09:38 16716 gnome-shell-extension-shortcuts_1.7.0.orig.tar.bz2 17-Feb-2025 09:18 776263 gnome-shell-extension-shortcuts_1.7.5-1.debian...> 04-Jun-2026 09:02 3184 gnome-shell-extension-shortcuts_1.7.5-1.dsc 04-Jun-2026 09:02 2175 gnome-shell-extension-shortcuts_1.7.5-1_all.deb 04-Jun-2026 09:22 17944 gnome-shell-extension-shortcuts_1.7.5.orig.tar.bz2 04-Jun-2026 09:02 778076
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.