Index of /ubuntu/pool/universe/m/minisat2/

../
minisat2_070721-8.diff.gz                          18-Jan-2010 08:05    8260
minisat2_070721-8.dsc                              18-Jan-2010 08:05     994
minisat2_070721-8_amd64.deb                        18-Jan-2010 16:05     95K
minisat2_070721-8_i386.deb                         18-Jan-2010 13:05     93K
minisat2_070721.orig.tar.gz                        20-Jun-2008 11:07     31K
minisat2_2.2.0-2.debian.tar.gz                     15-Oct-2010 13:06    9783
minisat2_2.2.0-2.dsc                               15-Oct-2010 13:06    1110
minisat2_2.2.0-2_amd64.deb                         17-Oct-2010 08:05    105K
minisat2_2.2.0-2_i386.deb                          17-Oct-2010 10:05    103K
minisat2_2.2.0.orig.tar.gz                         15-Oct-2010 13:06     43K
minisat2_2.2.1-2.debian.tar.gz                     14-Jun-2011 11:05    8381
minisat2_2.2.1-2.dsc                               14-Jun-2011 11:05    1135
minisat2_2.2.1-2_amd64.deb                         14-Jun-2011 13:05    1928
minisat2_2.2.1-2_i386.deb                          14-Jun-2011 12:05    1930
minisat2_2.2.1-3.debian.tar.gz                     17-Oct-2011 13:05    8611
minisat2_2.2.1-3.dsc                               17-Oct-2011 13:05    1135
minisat2_2.2.1-3_amd64.deb                         18-Oct-2011 03:03    1894
minisat2_2.2.1-3_i386.deb                          18-Oct-2011 02:05    1892
minisat2_2.2.1.orig.tar.gz                         30-Apr-2011 17:05     43K
minisat_2.2.1-2_amd64.deb                          14-Jun-2011 13:05    123K
minisat_2.2.1-2_i386.deb                           14-Jun-2011 12:05    123K
minisat_2.2.1-3_amd64.deb                          18-Oct-2011 03:03    124K
minisat_2.2.1-3_i386.deb                           18-Oct-2011 02:05    124K