Welcome to Capital Online Mirror Site

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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
gnome-shell-extension-shortcuts_1.1.0-1.debian.tar.xz	2.5 KiB	2017-Jan-18 14:35
gnome-shell-extension-shortcuts_1.1.0-1.dsc	2.1 KiB	2017-Jan-18 14:35
gnome-shell-extension-shortcuts_1.1.0-1_all.deb	8.9 KiB	2017-Jan-18 15:40
gnome-shell-extension-shortcuts_1.1.0.orig.tar.gz	19.5 KiB	2017-Jan-18 14:35