ftp.ntua.gr:/mirror/gnu/gnome/sources/gnome-shell/3.17/

 Name                                             Last modified      Size  Description
 Parent Directory                                                      -   
 LATEST-IS-3.17.92                                16-Sep-2015 20:29  1.5M  
 gnome-shell-3.17.1.news                          30-Apr-2015 20:05  701   
 gnome-shell-3.17.1.sha256sum                     30-Apr-2015 20:05  182   
 gnome-shell-3.17.1.tar.xz                        30-Apr-2015 20:05  1.5M  
 gnome-shell-3.17.2.news                          27-May-2015 11:57  727   
 gnome-shell-3.17.2.sha256sum                     27-May-2015 11:57  182   
 gnome-shell-3.17.2.tar.xz                        27-May-2015 11:57  1.5M  
 gnome-shell-3.17.3.news                          02-Jul-2015 16:30  695   
 gnome-shell-3.17.3.sha256sum                     02-Jul-2015 16:30  182   
 gnome-shell-3.17.3.tar.xz                        02-Jul-2015 16:30  1.5M  
 gnome-shell-3.17.4.news                          23-Jul-2015 15:23  559   
 gnome-shell-3.17.4.sha256sum                     23-Jul-2015 15:23  182   
 gnome-shell-3.17.4.tar.xz                        23-Jul-2015 15:23  1.5M  
 gnome-shell-3.17.90.news                         20-Aug-2015 17:55  719   
 gnome-shell-3.17.90.sha256sum                    20-Aug-2015 17:55  184   
 gnome-shell-3.17.90.tar.xz                       20-Aug-2015 17:55  1.5M  
 gnome-shell-3.17.91.news                         03-Sep-2015 18:33  616   
 gnome-shell-3.17.91.sha256sum                    03-Sep-2015 18:33  184   
 gnome-shell-3.17.91.tar.xz                       03-Sep-2015 18:33  1.5M  
 gnome-shell-3.17.92.news                         16-Sep-2015 20:29  379   
 gnome-shell-3.17.92.sha256sum                    16-Sep-2015 20:29  184   
 gnome-shell-3.17.92.tar.xz                       16-Sep-2015 20:29  1.5M  

Apache/2.2 Server at ftp.ntua.gr Port 80