ftp.ntua.gr:/mirror/GNOME/sources/gnome-shell-extensions/3.9/ 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] LATEST-IS-3.9.92                                 17-Sep-2013 11:56  191K  
[   ] gnome-shell-extensions-3.9.1.news                01-May-2013 01:51  173   
[   ] gnome-shell-extensions-3.9.1.sha256sum           01-May-2013 01:51  202   
[   ] gnome-shell-extensions-3.9.1.tar.xz              01-May-2013 01:51  172K  
[TXT] gnome-shell-extensions-3.9.2.news                28-May-2013 21:12  249   
[   ] gnome-shell-extensions-3.9.2.sha256sum           28-May-2013 21:12  202   
[   ] gnome-shell-extensions-3.9.2.tar.xz              28-May-2013 21:12  172K  
[TXT] gnome-shell-extensions-3.9.3.news                18-Jun-2013 22:41  273   
[   ] gnome-shell-extensions-3.9.3.sha256sum           18-Jun-2013 22:41  202   
[   ] gnome-shell-extensions-3.9.3.tar.xz              18-Jun-2013 22:41  176K  
[   ] gnome-shell-extensions-3.9.4.news                18-Jul-2013 13:46  269   
[   ] gnome-shell-extensions-3.9.4.sha256sum           18-Jul-2013 13:46  202   
[   ] gnome-shell-extensions-3.9.4.tar.xz              18-Jul-2013 13:46  179K  
[TXT] gnome-shell-extensions-3.9.5.news                30-Jul-2013 16:35  170   
[   ] gnome-shell-extensions-3.9.5.sha256sum           30-Jul-2013 16:35  202   
[   ] gnome-shell-extensions-3.9.5.tar.xz              30-Jul-2013 16:35  180K  
[TXT] gnome-shell-extensions-3.9.90.news               22-Aug-2013 11:07  279   
[   ] gnome-shell-extensions-3.9.90.sha256sum          22-Aug-2013 11:07  204   
[   ] gnome-shell-extensions-3.9.90.tar.xz             22-Aug-2013 11:07  182K  
[TXT] gnome-shell-extensions-3.9.91.news               03-Sep-2013 11:39  234   
[   ] gnome-shell-extensions-3.9.91.sha256sum          03-Sep-2013 11:39  204   
[   ] gnome-shell-extensions-3.9.91.tar.xz             03-Sep-2013 11:39  184K  
[   ] gnome-shell-extensions-3.9.92.news               17-Sep-2013 11:56  286   
[   ] gnome-shell-extensions-3.9.92.sha256sum          17-Sep-2013 11:56  204   
[   ] gnome-shell-extensions-3.9.92.tar.xz             17-Sep-2013 11:56  191K
Apache/2.2 Server at ftp.ntua.gr Port 80