../ minisat+_1.0-3_amd64.deb 19-Dec-2016 19:58 158392 minisat+_1.0-3_i386.deb 19-Dec-2016 19:58 160068 minisat+_1.0-4_amd64.deb 22-Feb-2017 21:12 158368 minisat+_1.0-4_arm64.deb 22-Feb-2017 21:12 133914 minisat+_1.0-4_i386.deb 22-Feb-2017 21:12 160076