Index of /debian/pool/main/m/minisat2

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 minisat2_070721-5.diff.gz           08-Sep-2008 03:17  7.1K  
 minisat2_070721-5.dsc               08-Sep-2008 03:17  964   
 minisat2_070721-5_alpha.deb         11-Sep-2008 03:02   40K  
 minisat2_070721-5_amd64.deb         08-Sep-2008 14:32   42K  
 minisat2_070721-5_arm.deb           10-Sep-2008 05:17   42K  
 minisat2_070721-5_armel.deb         08-Sep-2008 20:02   41K  
 minisat2_070721-5_hppa.deb          09-Sep-2008 14:02   45K  
 minisat2_070721-5_i386.deb          11-Sep-2008 02:47   40K  
 minisat2_070721-5_ia64.deb          08-Sep-2008 15:17   65K  
 minisat2_070721-5_mips.deb          11-Sep-2008 05:17   42K  
 minisat2_070721-5_mipsel.deb        11-Sep-2008 02:32   43K  
 minisat2_070721-5_powerpc.deb       11-Sep-2008 02:47   43K  
 minisat2_070721-5_s390.deb          08-Sep-2008 03:17   41K  
 minisat2_070721-5_sparc.deb         10-Sep-2008 15:47   38K  
 minisat2_070721.orig.tar.gz         08-Jun-2008 17:02   31K  
 minisat2_2.2.0-2.debian.tar.gz      26-Jul-2010 04:50  9.6K  
 minisat2_2.2.0-2.dsc                26-Jul-2010 04:50  1.1K  
 minisat2_2.2.0-2_amd64.deb          26-Jul-2010 04:50  107K  
 minisat2_2.2.0-2_armel.deb          27-Jul-2010 16:38  103K  
 minisat2_2.2.0-2_i386.deb           26-Jul-2010 14:52  106K  
 minisat2_2.2.0-2_ia64.deb           26-Jul-2010 10:56  160K  
 minisat2_2.2.0-2_kfreebsd-amd64.deb 30-Jul-2010 04:58  106K  
 minisat2_2.2.0-2_kfreebsd-i386.deb  26-Jul-2010 16:40  105K  
 minisat2_2.2.0-2_mips.deb           28-Jul-2010 02:11  112K  
 minisat2_2.2.0-2_mipsel.deb         26-Jul-2010 17:21  110K  
 minisat2_2.2.0-2_powerpc.deb        26-Jul-2010 22:59  110K  
 minisat2_2.2.0-2_s390.deb           26-Jul-2010 18:51  106K  
 minisat2_2.2.0-2_sparc.deb          26-Jul-2010 16:40  107K  
 minisat2_2.2.0.orig.tar.gz          25-Jul-2010 15:02   43K  
 minisat2_2.2.1-3.debian.tar.gz      04-Sep-2011 07:34  8.4K  
 minisat2_2.2.1-3.dsc                04-Sep-2011 07:34  1.1K  
 minisat2_2.2.1-3_amd64.deb          04-Sep-2011 08:03  4.9K  
 minisat2_2.2.1-3_armel.deb          04-Sep-2011 09:33  4.9K  
 minisat2_2.2.1-3_armhf.deb          28-Nov-2011 08:01  4.9K  
 minisat2_2.2.1-3_hurd-i386.deb      04-Sep-2011 17:18  4.9K  
 minisat2_2.2.1-3_i386.deb           04-Sep-2011 07:34  4.9K  
 minisat2_2.2.1-3_ia64.deb           04-Sep-2011 08:47  4.9K  
 minisat2_2.2.1-3_kfreebsd-amd64.deb 04-Sep-2011 08:17  4.9K  
 minisat2_2.2.1-3_kfreebsd-i386.deb  04-Sep-2011 08:32  4.9K  
 minisat2_2.2.1-3_mips.deb           04-Sep-2011 08:18  4.9K  
 minisat2_2.2.1-3_mipsel.deb         04-Sep-2011 08:32  4.9K  
 minisat2_2.2.1-3_powerpc.deb        04-Sep-2011 08:32  4.9K  
 minisat2_2.2.1-3_s390.deb           04-Sep-2011 08:03  4.9K  
 minisat2_2.2.1-3_s390x.deb          27-Nov-2011 07:45  4.9K  
 minisat2_2.2.1-3_sparc.deb          04-Sep-2011 09:04  4.9K  
 minisat2_2.2.1.orig.tar.gz          29-Mar-2011 22:07   43K  
 minisat_2.2.1-3_amd64.deb           04-Sep-2011 08:03  127K  
 minisat_2.2.1-3_armel.deb           04-Sep-2011 09:33  125K  
 minisat_2.2.1-3_armhf.deb           28-Nov-2011 08:01  122K  
 minisat_2.2.1-3_hurd-i386.deb       04-Sep-2011 17:18  125K  
 minisat_2.2.1-3_i386.deb            04-Sep-2011 07:34  126K  
 minisat_2.2.1-3_ia64.deb            04-Sep-2011 08:47  182K  
 minisat_2.2.1-3_kfreebsd-amd64.deb  04-Sep-2011 08:17  126K  
 minisat_2.2.1-3_kfreebsd-i386.deb   04-Sep-2011 08:32  125K  
 minisat_2.2.1-3_mips.deb            04-Sep-2011 08:18  132K  
 minisat_2.2.1-3_mipsel.deb          04-Sep-2011 08:32  132K  
 minisat_2.2.1-3_powerpc.deb         04-Sep-2011 08:32  131K  
 minisat_2.2.1-3_s390.deb            04-Sep-2011 08:03  130K  
 minisat_2.2.1-3_s390x.deb           27-Nov-2011 07:45  143K  
 minisat_2.2.1-3_sparc.deb           04-Sep-2011 09:04  125K