../ minisat+-dbgsym_1.0-4_hppa.deb 23-Feb-2017 00:03 780K minisat+_1.0-4_hppa.buildinfo 23-Feb-2017 00:03 4337 minisat+_1.0-4_hppa.deb 23-Feb-2017 00:03 138K