Index of /blankon/pool/main/m/minisat2/

../
minisat2_2.2.1-4_amd64.deb                         12-Jul-2013 21:57    5100
minisat2_2.2.1-4_i386.deb                          12-Jul-2013 20:52    5100
minisat2_2.2.1-5+b1_amd64.deb                      17-Aug-2015 16:34    5274
minisat2_2.2.1-5+b1_i386.deb                       17-Aug-2015 16:24    5262
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
minisat_2.2.1-4_amd64.deb                          12-Jul-2013 21:57    130K
minisat_2.2.1-4_i386.deb                           12-Jul-2013 20:52    125K
minisat_2.2.1-5+b1_amd64.deb                       17-Aug-2015 16:34     84K
minisat_2.2.1-5+b1_i386.deb                        17-Aug-2015 16:24     95K