ftp.ntua.gr:/mirror/GNOME/sources/gnome-shell-extensions/3.25/ 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] LATEST-IS-3.25.91                                22-Aug-2017 02:05  339K  
[   ] gnome-shell-extensions-3.25.1.news               27-Apr-2017 20:13  134   
[   ] gnome-shell-extensions-3.25.1.sha256sum          27-Apr-2017 20:13  204   
[   ] gnome-shell-extensions-3.25.1.tar.xz             27-Apr-2017 20:13  338K  
[   ] gnome-shell-extensions-3.25.2.news               25-May-2017 01:17  111   
[   ] gnome-shell-extensions-3.25.2.sha256sum          25-May-2017 01:17  204   
[   ] gnome-shell-extensions-3.25.2.tar.xz             25-May-2017 01:17  337K  
[   ] gnome-shell-extensions-3.25.3.news               21-Jun-2017 23:11  133   
[   ] gnome-shell-extensions-3.25.3.sha256sum          21-Jun-2017 23:11  204   
[   ] gnome-shell-extensions-3.25.3.tar.xz             21-Jun-2017 23:11  337K  
[   ] gnome-shell-extensions-3.25.4.news               20-Jul-2017 03:33  128   
[   ] gnome-shell-extensions-3.25.4.sha256sum          20-Jul-2017 03:33  204   
[   ] gnome-shell-extensions-3.25.4.tar.xz             20-Jul-2017 03:33  339K  
[   ] gnome-shell-extensions-3.25.90.news              11-Aug-2017 03:51   73   
[   ] gnome-shell-extensions-3.25.90.sha256sum         11-Aug-2017 03:51  206   
[   ] gnome-shell-extensions-3.25.90.tar.xz            11-Aug-2017 03:51  339K  
[   ] gnome-shell-extensions-3.25.91.news              22-Aug-2017 02:05   82   
[   ] gnome-shell-extensions-3.25.91.sha256sum         22-Aug-2017 02:05  206   
[   ] gnome-shell-extensions-3.25.91.tar.xz            22-Aug-2017 02:05  339K
Apache/2.2 Server at ftp.ntua.gr Port 80