../ minisat+-dbgsym_1.0-4_sparc64.deb 23-Feb-2017 00:03 818K minisat+_1.0-4_sparc64.buildinfo 23-Feb-2017 00:03 4446 minisat+_1.0-4_sparc64.deb 23-Feb-2017 00:03 128K