../ minisat+-dbgsym_1.0-4_ia64.deb 10-Jan-2018 18:03 691K minisat+_1.0-4_ia64.buildinfo 10-Jan-2018 18:03 4478 minisat+_1.0-4_ia64.deb 10-Jan-2018 18:03 212K