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

../
minisat2_070721-5_amd64.deb                        08-Sep-2008 06:32     42K
minisat2_070721-5_i386.deb                         10-Sep-2008 18:47     40K
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.1-3_amd64.deb                         04-Sep-2011 00:03    5028
minisat2_2.2.1-3_armhf.deb                         28-Nov-2011 00:01    5046
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_arm64.deb                      07-Mar-2017 11:11    5250
minisat2_2.2.1-5+b3_armhf.deb                      07-Mar-2017 11:57    5254
minisat2_2.2.1-5+b3_i386.deb                       07-Mar-2017 11:27    5258
minisat2_2.2.1-5_amd64.deb                         30-Jul-2014 10:27    5038
minisat2_2.2.1-5_arm64.deb                         18-Aug-2014 09:43    5038
minisat2_2.2.1-5_armhf.deb                         30-Jul-2014 10:27    5034
minisat2_2.2.1-5_i386.deb                          30-Jul-2014 10:01    5022
minisat_2.2.1-3_amd64.deb                          04-Sep-2011 00:03    127K
minisat_2.2.1-3_armhf.deb                          28-Nov-2011 00:01    122K
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_arm64.deb                       07-Mar-2017 11:11     80K
minisat_2.2.1-5+b3_armhf.deb                       07-Mar-2017 11:57     76K
minisat_2.2.1-5+b3_i386.deb                        07-Mar-2017 11:27     91K
minisat_2.2.1-5_amd64.deb                          30-Jul-2014 10:27     84K
minisat_2.2.1-5_arm64.deb                          18-Aug-2014 09:43     82K
minisat_2.2.1-5_armhf.deb                          30-Jul-2014 10:27     78K
minisat_2.2.1-5_i386.deb                           30-Jul-2014 10:01     96K
minisat_2.2.1-8+b1_arm64.deb                       01-Nov-2024 20:51     83K
minisat_2.2.1-8_amd64.deb                          26-Feb-2024 17:23     81K
minisat_2.2.1-8_armhf.deb                          26-Feb-2024 17:23     75K
minisat_2.2.1-8_i386.deb                           26-Feb-2024 17:23     90K