ftp.ntua.gr:/mirror/GNOME/sources/gnome-shell-extensions/3.12/ 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] LATEST-IS-3.12.0                                 25-Mar-2014 18:51  202K  
[   ] LATEST-IS-3.12.2                                 14-May-2014 12:12  207K  
[   ] gnome-shell-extensions-3.12.0.news               25-Mar-2014 18:51   53   
[   ] gnome-shell-extensions-3.12.0.sha256sum          25-Mar-2014 18:51  204   
[   ] gnome-shell-extensions-3.12.0.tar.xz             25-Mar-2014 18:51  202K  
[TXT] gnome-shell-extensions-3.12.2.news               14-May-2014 12:12  342   
[   ] gnome-shell-extensions-3.12.2.sha256sum          14-May-2014 12:12  204   
[   ] gnome-shell-extensions-3.12.2.tar.xz             14-May-2014 12:12  207K
Apache/2.2 Server at ftp.ntua.gr Port 80