ftp.ntua.gr:/mirror/gnu/gnome/sources/gnome-shell-extensions/3.10/?C=D&O=D 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] gnome-shell-extensions-3.10.1.tar.xz             15-Oct-2013 22:29  195K  
[   ] gnome-shell-extensions-3.10.1.sha256sum          15-Oct-2013 22:29  204   
[   ] gnome-shell-extensions-3.10.1.news               15-Oct-2013 22:29  128   
[   ] gnome-shell-extensions-3.10.0.tar.xz             24-Sep-2013 15:34  194K  
[   ] gnome-shell-extensions-3.10.0.sha256sum          24-Sep-2013 15:34  204   
[   ] gnome-shell-extensions-3.10.0.news               24-Sep-2013 15:34  148   
[   ] LATEST-IS-3.10.1                                 15-Oct-2013 22:29  195K
Apache/2.2 Server at ftp.ntua.gr Port 80