ftp.ntua.gr:/debian/pool/main/e/eprover/ 
Icon  Name                           Last modified      Size  
[DIR] Parent Directory                                    -   
[   ] eprover_2.6+ds-3.debian.tar.xz 14-Jul-2022 01:03   10K  
[   ] eprover_2.6+ds-3.dsc           14-Jul-2022 01:03  1.9K  
[   ] eprover_2.6+ds-3_amd64.deb     14-Jul-2022 01:28  956K  
[   ] eprover_2.6+ds-3_arm64.deb     14-Jul-2022 01:43  879K  
[   ] eprover_2.6+ds-3_armel.deb     14-Jul-2022 01:59  719K  
[   ] eprover_2.6+ds-3_armhf.deb     14-Jul-2022 01:59  690K  
[   ] eprover_2.6+ds-3_i386.deb      14-Jul-2022 01:44  960K  
[   ] eprover_2.6+ds-3_mips64el.deb  14-Jul-2022 02:25  1.0M  
[   ] eprover_2.6+ds-3_mipsel.deb    14-Jul-2022 02:25  1.0M  
[   ] eprover_2.6+ds-3_ppc64el.deb   14-Jul-2022 01:59  1.0M  
[   ] eprover_2.6+ds-3_s390x.deb     14-Jul-2022 02:15  889K  
[   ] eprover_2.6+ds.orig.tar.xz     11-Jul-2022 00:22  1.0M
Apache/2.2 Server at debian.noc.ntua.gr Port 80