../ minisat+_1.0-2.debian.tar.gz 25-May-2011 01:50 3966 minisat+_1.0-2.dsc 25-May-2011 01:50 1262 minisat+_1.0-2_amd64.deb 25-May-2011 01:50 180194 minisat+_1.0-3_amd64.deb 19-Dec-2016 19:58 158392 minisat+_1.0-4_amd64.deb 22-Feb-2017 21:12 158368 minisat+_1.0.orig.tar.gz 14-May-2011 12:02 79990