../ 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