../ minisat+-dbgsym_1.0-4_sparc64.deb 23-Feb-2017 00:03 837702 minisat+_1.0-4_sparc64.buildinfo 23-Feb-2017 00:03 4446 minisat+_1.0-4_sparc64.deb 23-Feb-2017 00:03 130678