Index of /debian-archive/debian/pool/main/m/minisat+

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 minisat+_1.0-2.debia..> 25-May-2011 01:50  3.9K  
 minisat+_1.0-2.dsc      25-May-2011 01:50  1.2K  
 minisat+_1.0-2_amd64..> 25-May-2011 01:50  176K  
 minisat+_1.0-2_arm64..> 18-Aug-2014 09:43  131K  
 minisat+_1.0-2_armel..> 25-May-2011 07:14  155K  
 minisat+_1.0-2_armhf..> 28-Nov-2011 00:21  142K  
 minisat+_1.0-2_i386.deb 25-May-2011 07:49  170K  
 minisat+_1.0-2_ia64.deb 27-May-2011 17:25  274K  
 minisat+_1.0-2_kfree..> 25-May-2011 13:34  176K  
 minisat+_1.0-2_kfree..> 25-May-2011 13:49  170K  
 minisat+_1.0-2_mips.deb 25-May-2011 07:16  165K  
 minisat+_1.0-2_mipse..> 27-May-2011 21:10  166K  
 minisat+_1.0-2_power..> 25-May-2011 07:20  169K  
 minisat+_1.0-2_ppc64..> 20-Aug-2014 08:41  143K  
 minisat+_1.0-2_s390.deb 25-May-2011 09:26  167K  
 minisat+_1.0-2_s390x..> 26-Nov-2011 23:45  178K  
 minisat+_1.0-2_sparc..> 25-May-2011 15:11  150K  
 minisat+_1.0.orig.ta..> 14-May-2011 12:02   78K