../ minisat+-dbgsym_1.0-4_hurd-i386.deb 22-Feb-2017 21:22 786K minisat+_1.0-4_hurd-i386.buildinfo 22-Feb-2017 21:10 4518 minisat+_1.0-4_hurd-i386.deb 22-Feb-2017 21:22 145K