../ minisat+-dbgsym_1.0-4_ppc64.deb 23-Feb-2017 00:03 885K minisat+_1.0-4_ppc64.buildinfo 23-Feb-2017 00:03 4437 minisat+_1.0-4_ppc64.deb 23-Feb-2017 00:03 140K