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

../
minisat+_1.0-2_amd64.deb                           25-May-2011 01:50              180194
minisat+_1.0-2_i386.deb                            25-May-2011 07:49              174052
minisat+_1.0-3_amd64.deb                           19-Dec-2016 19:58              158392
minisat+_1.0-3_i386.deb                            19-Dec-2016 19:58              160068