Index of /debian/pool/main/m/minisat+/

../
minisat+_1.0-2_amd64.deb                           25-May-2011 01:50              180194
minisat+_1.0-2_arm64.deb                           18-Aug-2014 09:43              134606
minisat+_1.0-2_i386.deb                            25-May-2011 07:49              174052
minisat+_1.0-2_ppc64el.deb                         20-Aug-2014 08:41              146656
minisat+_1.0-3.debian.tar.xz                       19-Dec-2016 19:23                4124
minisat+_1.0-3_amd64.deb                           19-Dec-2016 19:58              158392
minisat+_1.0-3_arm64.deb                           19-Dec-2016 19:58              133862
minisat+_1.0-3_i386.deb                            19-Dec-2016 19:58              160068
minisat+_1.0-3_mips64el.deb                        19-Dec-2016 19:58              147860
minisat+_1.0-3_ppc64el.deb                         19-Dec-2016 19:58              148344