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


../
minisat2_070721-3_amd64.deb                        20-Jun-2008 13:04     38K
minisat2_070721-3_i386.deb                         20-Jun-2008 12:04     36K
minisat2_070721-6_amd64.deb                        07-Nov-2008 06:05     42K
minisat2_070721-6_i386.deb                         06-Nov-2008 20:05     41K
minisat2_070721-8_amd64.deb                        18-Jan-2010 16:05     95K
minisat2_070721-8_i386.deb                         18-Jan-2010 13:05     93K
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.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_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-4_amd64.deb                         14-Jul-2013 22:58    1896
minisat2_2.2.1-4_i386.deb                          14-Jul-2013 22:58    1896
minisat2_2.2.1-5_amd64.deb                         30-Jul-2014 18:38    1994
minisat2_2.2.1-5_i386.deb                          30-Jul-2014 18:40    1996
minisat2_2.2.1-5build1_amd64.deb                   05-Apr-2018 08:03    2032
minisat2_2.2.1-5build1_i386.deb                    05-Apr-2018 08:04    2028
minisat2_2.2.1-5build2_amd64.deb                   22-Mar-2020 18:00    2032
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
minisat_2.2.1-4_amd64.deb                          14-Jul-2013 22:58    128K
minisat_2.2.1-4_i386.deb                           14-Jul-2013 22:58    124K
minisat_2.2.1-5_amd64.deb                          30-Jul-2014 18:38     81K
minisat_2.2.1-5_i386.deb                           30-Jul-2014 18:40     95K
minisat_2.2.1-5build1_amd64.deb                    05-Apr-2018 08:03     80K
minisat_2.2.1-5build1_i386.deb                     05-Apr-2018 08:04     89K
minisat_2.2.1-5build2_amd64.deb                    22-Mar-2020 18:00     80K
minisat_2.2.1-8build1_amd64.deb                    01-Apr-2024 10:33     86K