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


../
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+b1_amd64.deb                      17-Aug-2015 16:34                5274
minisat2_2.2.1-5+b1_arm64.deb                      17-Aug-2015 16:18                5258
minisat2_2.2.1-5+b1_i386.deb                       17-Aug-2015 16:24                5262
minisat2_2.2.1-5+b1_ppc64el.deb                    17-Aug-2015 16:24                5264
minisat2_2.2.1-5.debian.tar.xz                     30-Jul-2014 10:01                9348
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_i386.deb                          30-Jul-2014 10:01                5022
minisat2_2.2.1-5_mips64el.deb                      29-Aug-2015 09:31                4982
minisat2_2.2.1-5_ppc64el.deb                       20-Aug-2014 08:46                5038
minisat_2.2.1-3_amd64.deb                          04-Sep-2011 00:03              130458
minisat_2.2.1-3_i386.deb                           03-Sep-2011 23:34              129100
minisat_2.2.1-5+b1_amd64.deb                       17-Aug-2015 16:34               85726
minisat_2.2.1-5+b1_arm64.deb                       17-Aug-2015 16:18               81410
minisat_2.2.1-5+b1_i386.deb                        17-Aug-2015 16:24               96934
minisat_2.2.1-5+b1_ppc64el.deb                     17-Aug-2015 16:24               88014
minisat_2.2.1-5_amd64.deb                          30-Jul-2014 10:27               85572
minisat_2.2.1-5_arm64.deb                          18-Aug-2014 09:43               83908
minisat_2.2.1-5_i386.deb                           30-Jul-2014 10:01               98652
minisat_2.2.1-5_mips64el.deb                       29-Aug-2015 09:31               90232
minisat_2.2.1-5_ppc64el.deb                        20-Aug-2014 08:46               88126