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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 minisat2_070721-5.di..> 07-Sep-2008 19:17  7.1K  
 minisat2_070721-5.dsc   07-Sep-2008 19:17  964   
 minisat2_070721-5_al..> 10-Sep-2008 19:02   40K  
 minisat2_070721-5_am..> 08-Sep-2008 06:32   42K  
 minisat2_070721-5_ar..> 09-Sep-2008 21:17   42K  
 minisat2_070721-5_ar..> 08-Sep-2008 12:02   41K  
 minisat2_070721-5_hp..> 09-Sep-2008 06:02   45K  
 minisat2_070721-5_i3..> 10-Sep-2008 18:47   40K  
 minisat2_070721-5_ia..> 08-Sep-2008 07:17   65K  
 minisat2_070721-5_mi..> 10-Sep-2008 21:17   42K  
 minisat2_070721-5_mi..> 10-Sep-2008 18:32   43K  
 minisat2_070721-5_po..> 10-Sep-2008 18:47   43K  
 minisat2_070721-5_s3..> 07-Sep-2008 19:17   41K  
 minisat2_070721-5_sp..> 10-Sep-2008 07:47   38K  
 minisat2_070721.orig..> 08-Jun-2008 09:02   31K  
 minisat2_2.2.0-2.deb..> 25-Jul-2010 20:50  9.6K  
 minisat2_2.2.0-2.dsc    25-Jul-2010 20:50  1.1K  
 minisat2_2.2.0-2_amd..> 25-Jul-2010 20:50  107K  
 minisat2_2.2.0-2_arm..> 27-Jul-2010 08:38  103K  
 minisat2_2.2.0-2_i38..> 26-Jul-2010 06:52  106K  
 minisat2_2.2.0-2_ia6..> 26-Jul-2010 02:56  160K  
 minisat2_2.2.0-2_kfr..> 29-Jul-2010 20:58  106K  
 minisat2_2.2.0-2_kfr..> 26-Jul-2010 08:40  105K  
 minisat2_2.2.0-2_mip..> 27-Jul-2010 18:11  112K  
 minisat2_2.2.0-2_mip..> 26-Jul-2010 09:21  110K  
 minisat2_2.2.0-2_pow..> 26-Jul-2010 14:59  110K  
 minisat2_2.2.0-2_s39..> 26-Jul-2010 10:51  106K  
 minisat2_2.2.0-2_spa..> 26-Jul-2010 08:40  107K  
 minisat2_2.2.0.orig...> 25-Jul-2010 07:02   43K  
 minisat2_2.2.1-3.deb..> 03-Sep-2011 23:34  8.4K  
 minisat2_2.2.1-3.dsc    03-Sep-2011 23:34  1.1K  
 minisat2_2.2.1-3_amd..> 04-Sep-2011 00:03  4.9K  
 minisat2_2.2.1-3_arm..> 04-Sep-2011 01:33  4.9K  
 minisat2_2.2.1-3_arm..> 28-Nov-2011 00:01  4.9K  
 minisat2_2.2.1-3_i38..> 03-Sep-2011 23:34  4.9K  
 minisat2_2.2.1-3_ia6..> 04-Sep-2011 00:47  4.9K  
 minisat2_2.2.1-3_kfr..> 04-Sep-2011 00:17  4.9K  
 minisat2_2.2.1-3_kfr..> 04-Sep-2011 00:32  4.9K  
 minisat2_2.2.1-3_mip..> 04-Sep-2011 00:18  4.9K  
 minisat2_2.2.1-3_mip..> 04-Sep-2011 00:32  4.9K  
 minisat2_2.2.1-3_pow..> 04-Sep-2011 00:32  4.9K  
 minisat2_2.2.1-3_s39..> 04-Sep-2011 00:03  4.9K  
 minisat2_2.2.1-3_s39..> 26-Nov-2011 23:45  4.9K  
 minisat2_2.2.1-3_spa..> 04-Sep-2011 01:04  4.9K  
 minisat2_2.2.1-5+b1_..> 27-Aug-2014 00:00  5.2K  
 minisat2_2.2.1-5.deb..> 30-Jul-2014 10:01  9.1K  
 minisat2_2.2.1-5.dsc    30-Jul-2014 10:01  1.8K  
 minisat2_2.2.1-5_amd..> 30-Jul-2014 10:27  4.9K  
 minisat2_2.2.1-5_arm..> 18-Aug-2014 09:43  4.9K  
 minisat2_2.2.1-5_arm..> 30-Jul-2014 11:12  4.9K  
 minisat2_2.2.1-5_arm..> 30-Jul-2014 10:27  4.9K  
 minisat2_2.2.1-5_i38..> 30-Jul-2014 10:01  4.9K  
 minisat2_2.2.1-5_kfr..> 30-Jul-2014 10:32  4.9K  
 minisat2_2.2.1-5_kfr..> 30-Jul-2014 10:32  4.9K  
 minisat2_2.2.1-5_mip..> 30-Jul-2014 11:57  4.9K  
 minisat2_2.2.1-5_mip..> 30-Jul-2014 11:12  4.9K  
 minisat2_2.2.1-5_pow..> 30-Jul-2014 10:27  4.9K  
 minisat2_2.2.1-5_ppc..> 20-Aug-2014 08:46  4.9K  
 minisat2_2.2.1.orig...> 29-Mar-2011 14:07   43K  
 minisat_2.2.1-3_amd6..> 04-Sep-2011 00:03  127K  
 minisat_2.2.1-3_arme..> 04-Sep-2011 01:33  125K  
 minisat_2.2.1-3_armh..> 28-Nov-2011 00:01  122K  
 minisat_2.2.1-3_i386..> 03-Sep-2011 23:34  126K  
 minisat_2.2.1-3_ia64..> 04-Sep-2011 00:47  182K  
 minisat_2.2.1-3_kfre..> 04-Sep-2011 00:17  126K  
 minisat_2.2.1-3_kfre..> 04-Sep-2011 00:32  125K  
 minisat_2.2.1-3_mips..> 04-Sep-2011 00:18  132K  
 minisat_2.2.1-3_mips..> 04-Sep-2011 00:32  132K  
 minisat_2.2.1-3_powe..> 04-Sep-2011 00:32  131K  
 minisat_2.2.1-3_s390..> 04-Sep-2011 00:03  130K  
 minisat_2.2.1-3_s390..> 26-Nov-2011 23:45  143K  
 minisat_2.2.1-3_spar..> 04-Sep-2011 01:04  125K  
 minisat_2.2.1-5+b1_s..> 27-Aug-2014 00:00   92K  
 minisat_2.2.1-5_amd6..> 30-Jul-2014 10:27   84K  
 minisat_2.2.1-5_arm6..> 18-Aug-2014 09:43   82K  
 minisat_2.2.1-5_arme..> 30-Jul-2014 11:12   78K  
 minisat_2.2.1-5_armh..> 30-Jul-2014 10:27   78K  
 minisat_2.2.1-5_i386..> 30-Jul-2014 10:01   96K  
 minisat_2.2.1-5_kfre..> 30-Jul-2014 10:32   83K  
 minisat_2.2.1-5_kfre..> 30-Jul-2014 10:32   95K  
 minisat_2.2.1-5_mips..> 30-Jul-2014 11:57   85K  
 minisat_2.2.1-5_mips..> 30-Jul-2014 11:12   85K  
 minisat_2.2.1-5_powe..> 30-Jul-2014 10:27   88K  
 minisat_2.2.1-5_ppc6..> 20-Aug-2014 08:46   86K