ftp.ntua.gr:/debian/pool/main/m/minisat2/ 
Icon  Name                             Last modified      Size  
[DIR] Parent Directory                                      -   
[   ] minisat2_2.2.1-5+b3_amd64.deb    07-Mar-2017 13:27  5.1K  
[   ] minisat2_2.2.1-5+b3_arm64.deb    07-Mar-2017 13:11  5.1K  
[   ] minisat2_2.2.1-5+b3_armel.deb    07-Mar-2017 14:13  5.1K  
[   ] minisat2_2.2.1-5+b3_armhf.deb    07-Mar-2017 13:57  5.1K  
[   ] minisat2_2.2.1-5+b3_i386.deb     07-Mar-2017 13:27  5.1K  
[   ] minisat2_2.2.1-5+b3_mips.deb     07-Mar-2017 13:27  5.1K  
[   ] minisat2_2.2.1-5+b3_mips64el.deb 07-Mar-2017 14:13  5.1K  
[   ] minisat2_2.2.1-5+b3_mipsel.deb   07-Mar-2017 14:44  5.1K  
[   ] minisat2_2.2.1-5+b3_ppc64el.deb  07-Mar-2017 13:27  5.1K  
[   ] minisat2_2.2.1-5+b3_s390x.deb    07-Mar-2017 13:27  5.1K  
[   ] minisat2_2.2.1-5.debian.tar.xz   30-Jul-2014 13:01  9.1K  
[   ] minisat2_2.2.1-5.dsc             30-Jul-2014 13:01  1.8K  
[   ] minisat2_2.2.1-5_amd64.deb       30-Jul-2014 13:27  4.9K  
[   ] minisat2_2.2.1-5_armel.deb       30-Jul-2014 14:12  4.9K  
[   ] minisat2_2.2.1-5_armhf.deb       30-Jul-2014 13:27  4.9K  
[   ] minisat2_2.2.1-5_i386.deb        30-Jul-2014 13:01  4.9K  
[   ] minisat2_2.2.1.orig.tar.gz       29-Mar-2011 17:07   43K  
[   ] minisat_2.2.1-5+b3_amd64.deb     07-Mar-2017 13:27   83K  
[   ] minisat_2.2.1-5+b3_arm64.deb     07-Mar-2017 13:11   80K  
[   ] minisat_2.2.1-5+b3_armel.deb     07-Mar-2017 14:13   77K  
[   ] minisat_2.2.1-5+b3_armhf.deb     07-Mar-2017 13:57   76K  
[   ] minisat_2.2.1-5+b3_i386.deb      07-Mar-2017 13:27   91K  
[   ] minisat_2.2.1-5+b3_mips.deb      07-Mar-2017 13:27   88K  
[   ] minisat_2.2.1-5+b3_mips64el.deb  07-Mar-2017 14:13   89K  
[   ] minisat_2.2.1-5+b3_mipsel.deb    07-Mar-2017 14:44   89K  
[   ] minisat_2.2.1-5+b3_ppc64el.deb   07-Mar-2017 13:27   86K  
[   ] minisat_2.2.1-5+b3_s390x.deb     07-Mar-2017 13:27   81K  
[   ] minisat_2.2.1-5_amd64.deb        30-Jul-2014 13:27   84K  
[   ] minisat_2.2.1-5_armel.deb        30-Jul-2014 14:12   78K  
[   ] minisat_2.2.1-5_armhf.deb        30-Jul-2014 13:27   78K  
[   ] minisat_2.2.1-5_i386.deb         30-Jul-2014 13:01   96K
Apache/2.2 Server at debian.noc.ntua.gr Port 80