ftp.ntua.gr:/mirror/GNOME/sources/gnome-tweak-tool/3.25/?C=M&O=D

 Name                                             Last modified      Size  Description
 Parent Directory                                                      -   
 gnome-tweak-tool-3.25.92.tar.xz                  05-Sep-2017 10:36  239K  
 gnome-tweak-tool-3.25.92.sha256sum               05-Sep-2017 10:36  194   
 gnome-tweak-tool-3.25.92.news                    05-Sep-2017 10:36  415   
 LATEST-IS-3.25.92                                05-Sep-2017 10:36  239K  
 gnome-tweak-tool-3.25.91.tar.xz                  22-Aug-2017 00:35  231K  
 gnome-tweak-tool-3.25.91.sha256sum               22-Aug-2017 00:35  194   
 gnome-tweak-tool-3.25.91.news                    22-Aug-2017 00:35  404   
 gnome-tweak-tool-3.25.90.1.tar.xz                11-Aug-2017 02:15  224K  
 gnome-tweak-tool-3.25.90.1.sha256sum             11-Aug-2017 02:15  198   
 gnome-tweak-tool-3.25.90.1.news                  11-Aug-2017 02:15  172   
 gnome-tweak-tool-3.25.90.tar.xz                  10-Aug-2017 21:40  224K  
 gnome-tweak-tool-3.25.90.sha256sum               10-Aug-2017 21:40  194   
 gnome-tweak-tool-3.25.90.news                    10-Aug-2017 21:40  752   
 gnome-tweak-tool-3.25.4.tar.xz                   19-Jul-2017 22:20  220K  
 gnome-tweak-tool-3.25.4.sha256sum                19-Jul-2017 22:20  192   
 gnome-tweak-tool-3.25.4.news                     19-Jul-2017 22:20  291   
 gnome-tweak-tool-3.25.3.tar.xz                   19-Jun-2017 23:51  218K  
 gnome-tweak-tool-3.25.3.sha256sum                19-Jun-2017 23:51  192   
 gnome-tweak-tool-3.25.3.news                     19-Jun-2017 23:51  1.1K  
 gnome-tweak-tool-3.25.2.tar.xz                   07-Jun-2017 23:07  210K  
 gnome-tweak-tool-3.25.2.sha256sum                07-Jun-2017 23:07  192   
 gnome-tweak-tool-3.25.2.news                     07-Jun-2017 23:07  1.1K  

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