ftp.ntua.gr:/debian/pool/main/m/minisat+/

 Name                         Last modified      Size  
 Parent Directory                                  -   
 minisat+_1.0-2.debian.tar.gz 25-May-2011 04:50  3.9K  
 minisat+_1.0-2.dsc           25-May-2011 04:50  1.2K  
 minisat+_1.0-2_amd64.deb     25-May-2011 04:50  176K  
 minisat+_1.0-2_armel.deb     25-May-2011 10:14  155K  
 minisat+_1.0-2_armhf.deb     28-Nov-2011 02:21  142K  
 minisat+_1.0-2_i386.deb      25-May-2011 10:49  170K  
 minisat+_1.0-3.debian.tar.xz 19-Dec-2016 21:23  4.0K  
 minisat+_1.0-3.dsc           19-Dec-2016 21:23  1.9K  
 minisat+_1.0-3_amd64.deb     19-Dec-2016 21:58  155K  
 minisat+_1.0-3_arm64.deb     19-Dec-2016 21:58  131K  
 minisat+_1.0-3_armel.deb     19-Dec-2016 21:58  127K  
 minisat+_1.0-3_armhf.deb     19-Dec-2016 21:58  130K  
 minisat+_1.0-3_i386.deb      19-Dec-2016 21:58  156K  
 minisat+_1.0-3_mips.deb      19-Dec-2016 21:58  139K  
 minisat+_1.0-3_mips64el.deb  19-Dec-2016 21:58  144K  
 minisat+_1.0-3_mipsel.deb    19-Dec-2016 21:58  141K  
 minisat+_1.0-3_ppc64el.deb   19-Dec-2016 21:58  145K  
 minisat+_1.0-3_s390x.deb     19-Dec-2016 21:58  143K  
 minisat+_1.0-4.debian.tar.xz 22-Feb-2017 22:22  4.1K  
 minisat+_1.0-4.dsc           22-Feb-2017 22:22  1.9K  
 minisat+_1.0-4_amd64.deb     22-Feb-2017 23:12  155K  
 minisat+_1.0-4_arm64.deb     22-Feb-2017 23:12  131K  
 minisat+_1.0-4_armel.deb     22-Feb-2017 23:12  127K  
 minisat+_1.0-4_armhf.deb     22-Feb-2017 23:12  131K  
 minisat+_1.0-4_i386.deb      22-Feb-2017 23:12  156K  
 minisat+_1.0-4_mips.deb      22-Feb-2017 23:12  139K  
 minisat+_1.0-4_mips64el.deb  22-Feb-2017 23:28  144K  
 minisat+_1.0-4_mipsel.deb    22-Feb-2017 23:43  141K  
 minisat+_1.0-4_ppc64el.deb   22-Feb-2017 23:12  145K  
 minisat+_1.0-4_s390x.deb     22-Feb-2017 23:12  143K  
 minisat+_1.0.orig.tar.gz     14-May-2011 15:02   78K  

Apache/2.2 Server at debian.noc.ntua.gr Port 80