ftp.ntua.gr:/mirror/gnu/gnome/sources/gnome-shell/3.13/ 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] LATEST-IS-3.13.92                                17-Sep-2014 09:16  1.5M  
[   ] gnome-shell-3.13.1.sha256sum                     01-May-2014 00:02   92   
[   ] gnome-shell-3.13.1.tar.xz                        01-May-2014 00:02  1.5M  
[TXT] gnome-shell-3.13.2.news                          28-May-2014 02:26  1.1K  
[   ] gnome-shell-3.13.2.sha256sum                     28-May-2014 02:26  182   
[   ] gnome-shell-3.13.2.tar.xz                        28-May-2014 02:26  1.5M  
[   ] gnome-shell-3.13.3.news                          25-Jun-2014 01:27  1.0K  
[   ] gnome-shell-3.13.3.sha256sum                     25-Jun-2014 01:27  182   
[   ] gnome-shell-3.13.3.tar.xz                        25-Jun-2014 01:27  1.5M  
[TXT] gnome-shell-3.13.4.news                          23-Jul-2014 14:18  1.1K  
[   ] gnome-shell-3.13.4.sha256sum                     23-Jul-2014 14:18  182   
[   ] gnome-shell-3.13.4.tar.xz                        23-Jul-2014 14:18  1.5M  
[   ] gnome-shell-3.13.90.news                         20-Aug-2014 03:56  1.5K  
[   ] gnome-shell-3.13.90.sha256sum                    20-Aug-2014 03:56  184   
[   ] gnome-shell-3.13.90.tar.xz                       20-Aug-2014 03:56  1.5M  
[TXT] gnome-shell-3.13.91.news                         03-Sep-2014 16:33  863   
[   ] gnome-shell-3.13.91.sha256sum                    03-Sep-2014 16:33  184   
[   ] gnome-shell-3.13.91.tar.xz                       03-Sep-2014 16:33  1.5M  
[   ] gnome-shell-3.13.92.news                         17-Sep-2014 09:16  1.7K  
[   ] gnome-shell-3.13.92.sha256sum                    17-Sep-2014 09:16  184   
[   ] gnome-shell-3.13.92.tar.xz                       17-Sep-2014 09:16  1.5M
Apache/2.2 Server at ftp.ntua.gr Port 80