ftp.ntua.gr:/mirror/GNOME/sources/gnome-shell-extensions/3.1/?C=M&O=A 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[TXT] gnome-shell-extensions-3.1.3.news                02-Jul-2011 15:42  676   
[   ] gnome-shell-extensions-3.1.3.sha256sum           02-Jul-2011 15:42  305   
[   ] gnome-shell-extensions-3.1.3.tar.bz2             02-Jul-2011 15:42  109K  
[   ] gnome-shell-extensions-3.1.3.tar.xz              02-Jul-2011 15:42  100K  
[TXT] gnome-shell-extensions-3.1.4.news                01-Aug-2011 17:05  486   
[   ] gnome-shell-extensions-3.1.4.tar.bz2             01-Aug-2011 17:05  116K  
[   ] LATEST-IS-3.1.4                                  01-Aug-2011 17:05  106K  
[   ] gnome-shell-extensions-3.1.4.sha256sum           01-Aug-2011 17:05  305   
[   ] gnome-shell-extensions-3.1.4.tar.xz              01-Aug-2011 17:05  106K
Apache/2.2 Server at ftp.ntua.gr Port 80