ftp.ntua.gr:/mirror/GNOME/sources/gnome-shell-extensions/3.20/ 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] LATEST-IS-3.20.1                                 10-May-2016 23:55  231K  
[   ] gnome-shell-extensions-3.20.0.news               22-Mar-2016 21:57   51   
[   ] gnome-shell-extensions-3.20.0.sha256sum          22-Mar-2016 21:57  204   
[   ] gnome-shell-extensions-3.20.0.tar.xz             22-Mar-2016 21:57  231K  
[   ] gnome-shell-extensions-3.20.1.news               10-May-2016 23:55   70   
[   ] gnome-shell-extensions-3.20.1.sha256sum          10-May-2016 23:55  204   
[   ] gnome-shell-extensions-3.20.1.tar.xz             10-May-2016 23:55  231K
Apache/2.2 Server at ftp.ntua.gr Port 80