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