Home
/
ubuntu
/
pool
/
universe
/
g
/
gnome-shell-extension-shortcuts
File Name
Size
Date
..
—
—
gnome-shell-extension-shortcuts_1.1.1-1.debian.tar.xz
2.49KB
2018-01-11 01:08:31
gnome-shell-extension-shortcuts_1.1.1-1.dsc
2.10KB
2018-01-11 01:08:31
gnome-shell-extension-shortcuts_1.1.1-1_all.deb
9.09KB
2018-01-11 14:00:13
gnome-shell-extension-shortcuts_1.1.1.orig.tar.gz
19.56KB
2018-01-11 01:08:31
10" >