ftp.ntua.gr:/debian/pool/main/g/gnome-shell-extension-manager/ 
Icon  Name                                                Last modified      Size  
[DIR] Parent Directory                                                         -   
[   ] gnome-shell-extension-manager_0.2.3-2.debian.tar.xz 31-Mar-2022 01:23  2.6K  
[   ] gnome-shell-extension-manager_0.2.3-2.dsc           31-Mar-2022 01:23  2.3K  
[   ] gnome-shell-extension-manager_0.2.3-2_amd64.deb     31-Mar-2022 02:44   63K  
[   ] gnome-shell-extension-manager_0.2.3-2_arm64.deb     31-Mar-2022 02:29   60K  
[   ] gnome-shell-extension-manager_0.2.3-2_armel.deb     31-Mar-2022 02:44   58K  
[   ] gnome-shell-extension-manager_0.2.3-2_armhf.deb     31-Mar-2022 02:29   56K  
[   ] gnome-shell-extension-manager_0.2.3-2_i386.deb      31-Mar-2022 02:09   65K  
[   ] gnome-shell-extension-manager_0.2.3-2_mips64el.deb  02-Apr-2022 11:27   56K  
[   ] gnome-shell-extension-manager_0.2.3-2_mipsel.deb    03-Apr-2022 17:26   57K  
[   ] gnome-shell-extension-manager_0.2.3-2_ppc64el.deb   01-Apr-2022 00:13   64K  
[   ] gnome-shell-extension-manager_0.2.3-2_s390x.deb     31-Mar-2022 02:09   59K  
[   ] gnome-shell-extension-manager_0.2.3.orig.tar.gz     19-Mar-2022 01:17  1.3M
Apache/2.2 Server at ftp.grnet.gr Port 80