ftp.ntua.gr:/debian/pool/main/g/gnome-shell-timer/?C=S&O=D 
Icon  Name                                              Last modified      Size  
[DIR] Parent Directory                                                       -   
[   ] gnome-shell-timer_3.38.0.orig.tar.gz              05-Mar-2021 01:57  111K  
[   ] gnome-shell-timer_0.3.20+20190726.orig.tar.gz     25-Oct-2020 17:35  111K  
[   ] gnome-shell-timer_0.3.20+20171025.orig.tar.gz     30-Oct-2017 19:25  111K  
[   ] gnome-shell-timer_3.38.0-1_all.deb                05-Mar-2021 02:12   99K  
[   ] gnome-shell-timer_0.3.20+20190726-1_all.deb       25-Oct-2020 18:00   99K  
[   ] gnome-shell-timer_0.3.20+20171025-2_all.deb       24-Feb-2018 23:27   98K  
[   ] gnome-shell-timer_0.3.12+20140924.orig.tar.gz     24-Sep-2014 12:20   26K  
[   ] gnome-shell-timer_0.3.12+20140924-5_all.deb       02-Sep-2016 14:01   15K  
[   ] gnome-shell-timer_0.3.12+20140924-1_all.deb       24-Sep-2014 12:20   15K  
[   ] gnome-shell-timer_0.3.20+20190726-1.debian.tar.xz 25-Oct-2020 17:35  7.1K  
[   ] gnome-shell-timer_3.38.0-1.debian.tar.xz          05-Mar-2021 01:57  3.8K  
[   ] gnome-shell-timer_0.3.12+20140924-5.debian.tar.xz 02-Sep-2016 11:25  3.4K  
[   ] gnome-shell-timer_0.3.20+20171025-2.debian.tar.xz 24-Feb-2018 22:42  3.0K  
[   ] gnome-shell-timer_0.3.12+20140924-1.debian.tar.xz 24-Sep-2014 12:20  2.9K  
[   ] gnome-shell-timer_0.3.12+20140924-1.dsc           24-Sep-2014 12:20  1.7K  
[   ] gnome-shell-timer_0.3.20+20171025-2.dsc           24-Feb-2018 22:42  1.7K  
[   ] gnome-shell-timer_0.3.20+20190726-1.dsc           25-Oct-2020 17:35  1.7K  
[   ] gnome-shell-timer_0.3.12+20140924-5.dsc           02-Sep-2016 11:25  1.7K  
[   ] gnome-shell-timer_3.38.0-1.dsc                    05-Mar-2021 01:57  1.6K
Apache/2.2 Server at ftp.grnet.gr Port 80