../ minisat+-dbgsym_1.0-4_powerpc.deb 22-Feb-2017 21:12 838K minisat+_1.0-4_powerpc.buildinfo 29-Jun-2018 23:06 4387 minisat+_1.0-4_powerpc.deb 22-Feb-2017 21:12 133K