debian/pool/main/g/gnome-shell-extension-shortcuts • Linux Public Mirror - VISION Technologies Limited

Welcome to VISION Mirror Server

This mirror is hosted in VISION Technologies Limited Tier III Data Center in Bangladesh

Home / debian / pool / main / g / gnome-shell-extension-shortcuts

File Name

Size

Last Modified

..

—

—
gnome-shell-extension-shortcuts_1.1.2-2.debian.tar.xz

2.73KB

November 18, 2020, 10:27 pm

gnome-shell-extension-shortcuts_1.1.2-2.dsc

2.08KB

November 18, 2020, 10:27 pm

gnome-shell-extension-shortcuts_1.1.2-2_all.deb

9.32KB

November 18, 2020, 10:58 pm

gnome-shell-extension-shortcuts_1.1.2.orig.tar.gz

19.59KB

November 18, 2020, 6:59 pm

gnome-shell-extension-shortcuts_1.3.6-1.debian.tar.xz

2.43KB

December 19, 2022, 8:22 am

gnome-shell-extension-shortcuts_1.3.6-1.dsc

2.08KB

December 19, 2022, 8:22 am

gnome-shell-extension-shortcuts_1.3.6-1_all.deb

12.15KB

December 19, 2022, 11:55 pm

gnome-shell-extension-shortcuts_1.3.6.orig.tar.gz

21.95KB

December 19, 2022, 8:22 am

gnome-shell-extension-shortcuts_1.7.0-1.debian.tar.xz

2.88KB

February 17, 2025, 9:18 am

gnome-shell-extension-shortcuts_1.7.0-1.dsc

2.12KB

February 17, 2025, 9:18 am

gnome-shell-extension-shortcuts_1.7.0-1_all.deb

16.32KB

February 17, 2025, 9:38 am

gnome-shell-extension-shortcuts_1.7.0.orig.tar.bz2

758.07KB

February 17, 2025, 9:18 am