Index of /ubuntu/pool/universe/g/gnome-shell-extension-shortcuts

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 gnome-shell-extension-shortcuts_1.1.1-1_all.deb    2018-01-11 20:00  9.1K  
 gnome-shell-extension-shortcuts_1.1.1-1.debian...> 2018-01-11 07:08  2.5K  
 gnome-shell-extension-shortcuts_1.1.1.orig.tar.gz  2018-01-11 07:08   20K  
 gnome-shell-extension-shortcuts_1.1.1-1.dsc        2018-01-11 07:08  2.1K

Apache/2.4.65 (Debian) Server at mirror.freedif.org Port 443