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

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 minisat+_1.0-2.debian.tar.gz      25-May-2011 09:50  3.9K  
 minisat+_1.0-2.dsc                25-May-2011 09:50  1.2K  
 minisat+_1.0-2_amd64.deb          25-May-2011 09:50  176K  
 minisat+_1.0-2_armel.deb          25-May-2011 15:14  155K  
 minisat+_1.0-2_armhf.deb          28-Nov-2011 08:21  142K  
 minisat+_1.0-2_hurd-i386.deb      25-May-2011 18:35  170K  
 minisat+_1.0-2_i386.deb           25-May-2011 15:49  170K  
 minisat+_1.0-2_ia64.deb           28-May-2011 01:25  274K  
 minisat+_1.0-2_kfreebsd-amd64.deb 25-May-2011 21:34  176K  
 minisat+_1.0-2_kfreebsd-i386.deb  25-May-2011 21:49  170K  
 minisat+_1.0-2_mips.deb           25-May-2011 15:16  165K  
 minisat+_1.0-2_mipsel.deb         28-May-2011 05:10  166K  
 minisat+_1.0-2_powerpc.deb        25-May-2011 15:20  169K  
 minisat+_1.0-2_s390.deb           25-May-2011 17:26  167K  
 minisat+_1.0-2_s390x.deb          27-Nov-2011 07:45  178K  
 minisat+_1.0-2_sparc.deb          25-May-2011 23:11  150K  
 minisat+_1.0.orig.tar.gz          14-May-2011 20:02   78K