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

../
minisat2_070721-5.diff.gz                          07-Sep-2008 19:17    7289
minisat2_070721-5.dsc                              07-Sep-2008 19:17     964
minisat2_070721-5_amd64.deb                        08-Sep-2008 06:32     42K
minisat2_070721-5_i386.deb                         10-Sep-2008 18:47     40K
minisat2_070721.orig.tar.gz                        08-Jun-2008 09:02     31K
minisat2_2.2.0-2.debian.tar.gz                     25-Jul-2010 20:50    9783
minisat2_2.2.0-2.dsc                               25-Jul-2010 20:50    1110
minisat2_2.2.0-2_amd64.deb                         25-Jul-2010 20:50    107K
minisat2_2.2.0-2_i386.deb                          26-Jul-2010 06:52    106K
minisat2_2.2.0.orig.tar.gz                         25-Jul-2010 07:02     43K
minisat2_2.2.1-3.debian.tar.gz                     03-Sep-2011 23:34    8611
minisat2_2.2.1-3.dsc                               03-Sep-2011 23:34    1135
minisat2_2.2.1-3_amd64.deb                         04-Sep-2011 00:03    5028
minisat2_2.2.1-3_i386.deb                          03-Sep-2011 23:34    5032
minisat2_2.2.1-5+b3_amd64.deb                      07-Mar-2017 11:27    5258
minisat2_2.2.1-5+b3_i386.deb                       07-Mar-2017 11:27    5258
minisat2_2.2.1-5+b3_mips64el.deb                   07-Mar-2017 12:13    5260
minisat2_2.2.1-5.debian.tar.xz                     30-Jul-2014 10:01    9348
minisat2_2.2.1-5.dsc                               30-Jul-2014 10:01    1893
minisat2_2.2.1-5_amd64.deb                         30-Jul-2014 10:27    5038
minisat2_2.2.1-5_i386.deb                          30-Jul-2014 10:01    5022
minisat2_2.2.1.orig.tar.gz                         29-Mar-2011 14:07     43K
minisat_2.2.1-3_amd64.deb                          04-Sep-2011 00:03    127K
minisat_2.2.1-3_i386.deb                           03-Sep-2011 23:34    126K
minisat_2.2.1-5+b3_amd64.deb                       07-Mar-2017 11:27     83K
minisat_2.2.1-5+b3_i386.deb                        07-Mar-2017 11:27     91K
minisat_2.2.1-5+b3_mips64el.deb                    07-Mar-2017 12:13     89K
minisat_2.2.1-5_amd64.deb                          30-Jul-2014 10:27     84K
minisat_2.2.1-5_i386.deb                           30-Jul-2014 10:01     96K