../ minisat+-dbgsym_1.0-4_m68k.deb 23-Feb-2017 00:03 823532 minisat+_1.0-4_m68k.buildinfo 23-Feb-2017 00:03 4375 minisat+_1.0-4_m68k.deb 23-Feb-2017 00:03 118592