../ minisat+-dbgsym_1.0-4_x32.deb 23-Feb-2017 00:03 783K minisat+_1.0-4_x32.buildinfo 23-Feb-2017 00:03 4446 minisat+_1.0-4_x32.deb 23-Feb-2017 00:03 147K